Verification run
Run 95
failed commit
ed614fe76131 prover unknown took 16h 10m · finished 3w ago detached build unit apx-build-552 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)
Semantic extraction
Modules done 154 / 188
Remaining 34
Path runner cache store
Timeout left -
latest phase
runner_cache_store 188 active targets 188 active imports 154 succeeded attempts · 156 failed attempts 1 stable failure Active commands
| Runner | Batch | Started | Heartbeat | Active targets | Active imports |
|---|---|---|---|---|---|
exact_batch | extract-batch-00107 | 1 | - |
Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | succeeded | none | 107 | 15m 11s |
stable_superset | failed | timeout | 1 | 4h 0m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00106 | succeeded | none | 1 | 7m 32s | |
extract-batch-00105 | succeeded | none | 1 | 7m 20s | |
extract-batch-00104 | succeeded | none | 1 | 7m 33s | |
extract-batch-00103 | succeeded | none | 1 | 7m 28s | |
extract-batch-00102 | succeeded | none | 1 | 7m 2s | |
extract-batch-00101 | succeeded | none | 1 | 7m 7s | |
extract-batch-00100 | succeeded | none | 1 | 7m 4s | |
extract-batch-00099 | succeeded | none | 1 | 8m 41s | |
extract-batch-00098 | succeeded | none | 1 | 4m 20s | |
extract-batch-00097 | succeeded | none | 1 | 7m 20s | |
extract-batch-00096 | succeeded | none | 1 | 7m 5s | |
extract-batch-00095 | succeeded | none | 1 | 4m 26s | |
extract-batch-00094 | succeeded | none | 1 | 5m 43s | |
extract-batch-00093 | succeeded | none | 1 | 5m 44s | |
extract-batch-00092 | succeeded | none | 1 | 7m 5s | |
extract-batch-00091 | succeeded | none | 1 | 4m 22s | |
extract-batch-00090 | succeeded | none | 1 | 5m 43s | |
extract-batch-00089 | succeeded | none | 1 | 6m 54s | |
extract-batch-00088 | succeeded | none | 1 | 4m 24s | |
extract-batch-00087 | succeeded | none | 1 | 4m 23s | |
extract-batch-00086 | succeeded | none | 1 | 6m 53s | |
extract-batch-00085 | succeeded | none | 1 | 5m 43s | |
extract-batch-00084 | succeeded | none | 1 | 4m 23s | |
extract-batch-00083 | succeeded | none | 1 | 6m 53s | |
extract-batch-00082 | succeeded | none | 1 | 4m 19s | |
extract-batch-00081 | succeeded | none | 1 | 7m 51s | |
extract-batch-00080 | succeeded | none | 1 | 6m 55s | |
extract-batch-00079 | succeeded | none | 1 | 5m 31s | |
extract-batch-00078 | succeeded | none | 1 | 4m 9s | |
extract-batch-00077 | succeeded | none | 1 | 4m 20s | |
extract-batch-00076 | succeeded | none | 1 | 4m 21s | |
extract-batch-00075 | succeeded | none | 1 | 4m 21s | |
extract-batch-00074 | succeeded | none | 1 | 4m 21s | |
extract-batch-00073 | succeeded | none | 1 | 6m 36s | |
extract-batch-00072 | succeeded | none | 1 | 7m 14s | |
extract-batch-00071 | succeeded | none | 1 | 4m 20s | |
extract-batch-00070 | succeeded | none | 1 | 7m 26s | |
extract-batch-00069 | succeeded | none | 1 | 4m 27s | |
extract-batch-00068 | succeeded | none | 1 | 4m 10s | |
extract-batch-00067 | succeeded | none | 1 | 4m 17s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | runner_cache_store | 0 ms | - | - | - | - | |
exact_batch | runner_compile | 4s | - | - | - | - | |
exact_batch | runner_cache_lookup | 21 ms | - | - | - | - | |
exact_batch | runner_cache_key | 156 ms | - | - | - | - | |
exact_batch | core_compile | 24 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | db_checkpoint | 14 ms | 1 | 3 | 6 | - | |
exact_batch | fragment_encoding | 0 ms | 1 | 3 | 6 | - | |
exact_batch | rust_validation | 0 ms | 1 | 3 | 6 | 70.8 KiB | |
exact_batch | lean_import_env_load | 7m 27s | - | - | - | - | |
exact_batch | semantic_command | 7m 32s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 7m 27s | - | - | - | - | |
exact_batch | runner_cache_store | 0 ms | - | - | - | - | |
exact_batch | runner_compile | 4s | - | - | - | - | |
exact_batch | runner_cache_lookup | 20 ms | - | - | - | - | |
exact_batch | runner_cache_key | 135 ms | - | - | - | - | |
exact_batch | core_compile | 10 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
detached build unit apx-build-552 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.