CodeQL Security Analysis

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

Sign in to view logs

Triggered via pull request June 26, 2026 14:52

synchronize #28

claude/iseriser-proofs-review-rtdcwb

Status Success

Total duration 51s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze