CodeQL Security Analysis

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX registry #423

Sign in to view logs

Triggered via pull request June 4, 2026 18:08

opened #125

claude/upbeat-thompson-hb26c

Status Success

Total duration 50s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze