Verification run
Run 1190
failedcommit
5c48653111f4prover leantook 48m 52s · finished 7w agodetached build unit apx-build-1499 state unavailable: systemd unit not found (exit status: 0)
Semantic extraction
Modules done1 / 56
Remaining55
Pathsemantic command
Timeout left-
latest phase
semantic_command3 active targets1 succeeded attempts · 0 failed attemptsCommand outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
stable_superset | succeeded | none | 1 | 1m 19s |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-stable-superset-a-partial | succeeded | none | 1 | 1m 0s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
stable_superset | semantic_command | 1m 19s | 3 | - | - | - | |
stable_superset | lean_import_env_load | 1m 11s | - | - | - | - | |
stable_superset | semantic_command_cgroup_memory | 0 ms | - | - | - | - | |
stable_superset | lean_import_env_extract_write | 1m 11s | - | - | - | - | |
stable_superset | lean_process_resources | 0 ms | - | - | - | - | |
stable_superset | lean_module_fragment_stream | 3s | - | 789 | - | 137.7 MiB | |
stable_superset | lean_module_json_write | 0 ms | - | - | - | 137.7 MiB | |
stable_superset | lean_module_json_serialize | 0 ms | - | - | - | 137.7 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 789 | - | 137.7 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 768 | - | 132.8 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 736 | - | 121.2 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 704 | - | 113.3 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 672 | - | 109.9 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 640 | - | 107.8 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 608 | - | 103.1 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 576 | - | 99.9 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 544 | - | 97.3 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 512 | - | 93.8 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 480 | - | 87.3 MiB | |
stable_superset | lean_declaration_progress | 0 ms | - | 448 | - | 82.3 MiB |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verifyfailed
detached build unit apx-build-1499 state unavailable: systemd unit not found (exit status: 0)
Attempts
- failed#1
Github checks
- Check run id
- 89681855944
- Name
- Apodeixis Verification
- Status
- completed
- Conclusion
- failure