CodeQL Security Analysis

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

Sign in to view logs

Triggered via push June 26, 2026 14:52

main

Status Success

Total duration 46s

Artifacts –

codeql.yml

on: push

Matrix: analyze