Skip to content
Push email notification

ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #10

Sign in to view logs

ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #10

Triggered via push June 26, 2026 14:56
@hyperpolymathhyperpolymath
pushed 695cc51
main
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