Verification run
Run 10
succeeded commit
manual toolchain lean-v4-28-0-rc1 prover lean took 9m 38s · finished 6w ago
Semantic extraction
No semantic extraction telemetry recorded for this job yet.
Workflow timeline
1 workflow- build verificationsucceededstarted finished
- verify succeeded
Attempts
- succeeded #1
-
- persist result succeeded
Attempts
- succeeded #1
-
- complete job succeeded
Attempts
- succeeded #1
-
-
Github checks
- Check run id
- 79079289505
- Name
- Apodeixis Verification
- Status
- completed
- Conclusion
- success