CodeQL Security Analysis

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

Sign in to view logs

Triggered via push June 26, 2026 14:54

main

Status Success

Total duration 1m 36s

Artifacts –

codeql.yml

on: push

Matrix: analyze