Verification run
Run 445
failed commit
88eeda703c6b prover unknown took 8h 57m · finished 3w ago detached build unit apx-build-654 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)
Semantic extraction
Modules done 16 / 16
Remaining 0
Path db checkpoint
Timeout left -
latest phase
db_checkpoint 16 active targets 31 active imports 16 succeeded attempts · 11 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
stable_superset | failed | timeout | 1 | 4h 0m |
stable_superset | succeeded | none | 7 | 2h 16m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-stable-superset-r6 | succeeded | none | 1 | 2h 16m | |
extract-stable-superset-r5 | succeeded | none | 1 | 24m 5s | |
extract-stable-superset-r4 | succeeded | none | 1 | 9m 1s | |
extract-stable-superset-r3 | succeeded | none | 1 | 12m 21s | |
extract-stable-superset-r2 | succeeded | none | 1 | 22m 48s | |
extract-stable-superset-r2-partial | succeeded | none | 2 | 17m 0s | |
extract-stable-superset-b | succeeded | none | 1 | 46m 46s | |
extract-stable-superset-a | succeeded | none | 1 | 20m 34s | |
extract-stable-superset-a-partial | succeeded | none | 2 | 15m 0s | |
extract-stable-superset | failed | timeout | 11 | 4h 0m | |
extract-stable-superset-partial | succeeded | none | 5 | 2h 35m |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
stable_superset | db_checkpoint | 16s | 1 | 8,790 | 81,270 | - | |
stable_superset | fragment_encoding | 0 ms | 1 | 8,790 | 81,270 | - | |
stable_superset | rust_validation | 10s | 1 | 8,790 | 81,270 | - | |
stable_superset | lean_import_env_load | 2h 16m | - | - | - | - | |
stable_superset | semantic_command | 2h 16m | 1 | - | - | - | |
stable_superset | lean_import_env_extract_write | 2h 16m | - | - | - | - | |
stable_superset | runner_cache_lookup | 32 ms | - | - | - | - | |
stable_superset | runner_cache_key | 2s | - | - | - | - | |
stable_superset | core_compile | 24 ms | - | - | - | - | |
stable_superset | semantic_command_started | 0 ms | 1 | - | - | - | |
stable_superset | runner_materialize | 1 ms | 1 | - | - | - | |
stable_superset | db_checkpoint | 1s | 1 | 3,315 | 24,926 | - | |
stable_superset | fragment_encoding | 0 ms | 1 | 3,315 | 24,926 | - | |
stable_superset | rust_validation | 1s | 1 | 3,315 | 24,926 | - | |
stable_superset | lean_import_env_load | 24m 2s | - | - | - | - | |
stable_superset | semantic_command | 24m 5s | 1 | - | - | - | |
stable_superset | lean_import_env_extract_write | 24m 2s | - | - | - | - | |
stable_superset | runner_cache_lookup | 36 ms | - | - | - | - | |
stable_superset | runner_cache_key | 2s | - | - | - | - | |
stable_superset | core_compile | 25 ms | - | - | - | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
detached build unit apx-build-654 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)
Attempts
- failed #1
-
-
Github checks
No Github check run linked yet. This appears when the repository is Github-connected and the worker has published queue, running, and completion check updates.