Skip to content
Push email notification

fix(abi): make Idris2 ABI proofs genuinely compile and verify under 0… #10

Sign in to view logs

fix(abi): make Idris2 ABI proofs genuinely compile and verify under 0…

fix(abi): make Idris2 ABI proofs genuinely compile and verify under 0… #10

Triggered via push June 26, 2026 13:23
@hyperpolymathhyperpolymath
pushed 5957c20
claude/iseriser-proofs-review-rtdcwb
Status Skipped
Total duration 1s
Artifacts –

push-email-notify.yml

on: push
Email on push
0s
Email on push
Fit to window
Zoom out
Zoom in