CodeQL Security Analysis

ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #109

Sign in to view logs

Triggered via push June 26, 2026 14:56

main

Status Success

Total duration 2m 33s

Artifacts –

codeql.yml

on: push

Matrix: analyze