Repository navigation
chore(ci): make Scorecard periodic, not per-push #9
Triggered via pull request
August 6, 2026 11:51
hyperpolymath
Status
Success
Total duration
1h 15m 50s
Artifacts
–
proof-gate.yml
on: pull_request
idris2 --check (ABI proof modules)
37s