Skip to content
Push email notification

Fix Idris2 ABI proofs to genuinely compile and verify under 0.7.0 #11

Sign in to view logs

Fix Idris2 ABI proofs to genuinely compile and verify under 0.7.0

Fix Idris2 ABI proofs to genuinely compile and verify under 0.7.0 #11

Triggered via push June 26, 2026 14:19
@hyperpolymathhyperpolymath
pushed 66cfd79
claude/iseriser-proofs-review-rtdcwb
Status Skipped
Total duration 1s
Artifacts –

push-email-notify.yml

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