Skip to content
Rust CI

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
20s
coverage
2m 21s
security
7m 32s
10m 13s