Skip to content
Security Audit

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

Sign in to view logs

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

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

Triggered via pull request June 4, 2026 18:08
@hyperpolymathhyperpolymath
opened #125
claude/upbeat-thompson-hb26c
Status Success
Total duration 3m 5s
Artifacts –

cargo-audit.yml

on: pull_request
Cargo Audit
3m 1s
Cargo Audit
Fit to window
Zoom out
Zoom in