Skip to content
Security Policy

proof(absolute-zero): close FilesystemCNO.lean sorry (idempotent != CNO) #4

Sign in to view logs

proof(absolute-zero): close FilesystemCNO.lean sorry (idempotent != CNO)

proof(absolute-zero): close FilesystemCNO.lean sorry (idempotent != CNO) #4

Triggered via push April 17, 2026 19:19
@hyperpolymathhyperpolymath
pushed 6cd1c72
main
Status Success
Total duration 7s
Artifacts –

security-policy.yml

on: push
check
3s
check
Fit to window
Zoom out
Zoom in