Verification run
Run 1200
failedcommit
5c48653111f4prover leantook 12h 45m · finished 7w agodetached build unit apx-build-1510 state unavailable: systemd unit not found (exit status: 0)
Semantic extraction
Modules done0 / 18
Remaining18
Pathrunner cache lookup
Timeout left-
latest phase
runner_cache_lookup1 active targetsActive commands
| Runner | Batch | Started | Heartbeat | Active targets | Active imports |
|---|---|---|---|---|---|
stable_superset | extract-stable-superset-a | 1 | - |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
stable_superset | runner_cache_lookup | 31 ms | - | - | - | - | |
stable_superset | runner_cache_key | 110 ms | - | - | - | - | |
stable_superset | core_compile | 5s | - | - | - | - | |
stable_superset | semantic_command_started | 0 ms | 1 | - | - | - | |
stable_superset | runner_materialize | 12 ms | 1 | - | - | - | |
stable_superset | stable_runner_gate | 0 ms | 18 | - | - | - | |
exact_batch | module_cache_lookup | 4m 21s | 95 | - | - | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verifyfailed
detached build unit apx-build-1510 state unavailable: systemd unit not found (exit status: 0)
Attempts
- failed#1
Github checks
- Check run id
- 89834183013
- Name
- Apodeixis Verification
- Status
- completed
- Conclusion
- failure