CodeQL Security Analysis

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

Sign in to view logs

Triggered via pull request June 26, 2026 14:41

opened #33

claude/iseriser-proofs-review-rtdcwb

Status Success

Total duration 50s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze