Verification run
Run 1193
failedcommit
5c48653111f4prover unknowntook 32m 55s · finished 7w agodetached build unit apx-build-1502 state unavailable: systemd unit not found (exit status: 0)
Semantic extraction
No semantic extraction telemetry recorded for this job yet.
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verifyfailed
detached build unit apx-build-1502 state unavailable: systemd unit not found (exit status: 0)
Attempts
- failed#1
Github checks
- Check run id
- 89714135095
- Name
- Apodeixis Verification
- Status
- completed
- Conclusion
- failure