CodeQL Security Analysis

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

Sign in to view logs

Triggered via pull request June 26, 2026 14:53

synchronize #33

claude/iseriser-proofs-review-rtdcwb

Status Success

Total duration 1m 12s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze