CodeQL Security Analysis

proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX… #424

Sign in to view logs

Triggered via push June 4, 2026 18:55

main

Status Success

Total duration 45s

Artifacts –

codeql.yml

on: push

Matrix: analyze