Verification run
Run 3
failed commit
manual toolchain lean-v4-28-0-rc1 prover lean took 1m 42s · finished 6w ago lake build failed with exit code 1 (toolchain lean-v4-28-0-rc1, command: elan run leanprover/lean4:v4.28.0-rc1 -- lake build)
Semantic extraction
No semantic extraction telemetry recorded for this job yet.
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
lake build failed with exit code 1 (toolchain lean-v4-28-0-rc1, command: elan run leanprover/lean4:v4.28.0-rc1 -- lake build)
Attempts
- failed #1
-
- persist result succeeded
Attempts
- succeeded #1
-
- complete job succeeded
Attempts
- succeeded #1
-
-
Github checks
- Check run id
- 78872105682
- Name
- Apodeixis Verification
- Status
- completed
- Conclusion
- failure