CodeQL Security Analysis

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

Sign in to view logs

Triggered via pull request June 26, 2026 14:40

opened #28

claude/iseriser-proofs-review-rtdcwb

Status Success

Total duration 52s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze