Skip to content
Push email notification

Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… #43

Sign in to view logs

Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r…

Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r… #43

Triggered via push July 17, 2026 04:19
@hyperpolymathhyperpolymath
pushed 15c082f
main
Status Skipped
Total duration 8s
Artifacts –

push-email-notify.yml

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