Skip to content
ECHIDNA Validation

feat(fs): O_NOATIME discipline for pure-read theorems (#94 Gap 9) (#120) #166

Sign in to view logs

feat(fs): O_NOATIME discipline for pure-read theorems (#94 Gap 9) (#120)

feat(fs): O_NOATIME discipline for pure-read theorems (#94 Gap 9) (#120) #166

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ECHIDNA Proof Verification
2m 9s
Lean 4 ↔ Rust Correspondence
31s
2m 40s