Verification run
Run 30
failed commit
400b173d40db prover unknown took 16h 10m · finished 3w ago detached build unit apx-build-559 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)
Semantic extraction
Modules done 149 / 169
Remaining 20
Path runner cache store
Timeout left -
latest phase
runner_cache_store 169 active targets 172 active imports 149 succeeded attempts · 138 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 | 23m 26s |
stable_superset | failed | timeout | 1 | 4h 0m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00106 | succeeded | none | 1 | 5m 57s | |
extract-batch-00105 | succeeded | none | 1 | 3m 58s | |
extract-batch-00104 | succeeded | none | 1 | 3m 50s | |
extract-batch-00103 | succeeded | none | 1 | 4m 6s | |
extract-batch-00102 | succeeded | none | 1 | 5m 47s | |
extract-batch-00101 | succeeded | none | 1 | 4m 57s | |
extract-batch-00100 | succeeded | none | 1 | 5m 14s | |
extract-batch-00099 | succeeded | none | 1 | 3m 34s | |
extract-batch-00098 | succeeded | none | 1 | 2m 49s | |
extract-batch-00097 | succeeded | none | 1 | 5m 15s | |
extract-batch-00096 | succeeded | none | 1 | 5m 10s | |
extract-batch-00095 | succeeded | none | 1 | 5m 18s | |
extract-batch-00094 | succeeded | none | 1 | 3m 41s | |
extract-batch-00093 | succeeded | none | 1 | 5m 8s | |
extract-batch-00092 | succeeded | none | 1 | 5m 43s | |
extract-batch-00091 | succeeded | none | 1 | 3m 1s | |
extract-batch-00090 | succeeded | none | 1 | 2m 55s | |
extract-batch-00089 | succeeded | none | 1 | 4m 4s | |
extract-batch-00088 | succeeded | none | 1 | 4m 23s | |
extract-batch-00087 | succeeded | none | 1 | 7m 42s | |
extract-batch-00086 | succeeded | none | 1 | 13m 51s | |
extract-batch-00085 | succeeded | none | 1 | 14m 9s | |
extract-batch-00084 | succeeded | none | 1 | 5m 16s | |
extract-batch-00083 | succeeded | none | 1 | 3m 45s | |
extract-batch-00082 | succeeded | none | 1 | 7m 57s | |
extract-batch-00081 | succeeded | none | 1 | 8m 36s | |
extract-batch-00080 | succeeded | none | 1 | 6m 57s | |
extract-batch-00079 | succeeded | none | 1 | 18m 6s | |
extract-batch-00078 | succeeded | none | 1 | 4m 15s | |
extract-batch-00077 | succeeded | none | 1 | 5m 40s | |
extract-batch-00076 | succeeded | none | 1 | 3m 32s | |
extract-batch-00075 | succeeded | none | 1 | 5m 56s | |
extract-batch-00074 | succeeded | none | 1 | 3m 35s | |
extract-batch-00073 | succeeded | none | 1 | 4m 12s | |
extract-batch-00072 | succeeded | none | 1 | 3m 58s | |
extract-batch-00071 | succeeded | none | 1 | 7m 40s | |
extract-batch-00070 | succeeded | none | 1 | 10m 37s | |
extract-batch-00069 | succeeded | none | 1 | 5m 42s | |
extract-batch-00068 | succeeded | none | 1 | 5m 40s | |
extract-batch-00067 | succeeded | none | 1 | 10m 26s |
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 | 23 ms | - | - | - | - | |
exact_batch | runner_cache_key | 228 ms | - | - | - | - | |
exact_batch | core_compile | 23 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | db_checkpoint | 7 ms | 1 | 5 | 9 | - | |
exact_batch | fragment_encoding | 0 ms | 1 | 5 | 9 | - | |
exact_batch | rust_validation | 0 ms | 1 | 5 | 9 | 111.5 KiB | |
exact_batch | lean_import_env_load | 5m 56s | - | - | - | - | |
exact_batch | semantic_command | 5m 57s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 5m 56s | - | - | - | - | |
exact_batch | runner_cache_lookup | 40 ms | - | - | - | - | |
exact_batch | runner_cache_key | 249 ms | - | - | - | - | |
exact_batch | core_compile | 12 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 2 ms | 1 | - | - | - | |
exact_batch | db_checkpoint | 1s | 1 | 177 | 1,097 | - | |
exact_batch | fragment_encoding | 18 ms | 1 | 177 | 1,097 | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
detached build unit apx-build-559 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.