Verification run
Run 29
failed commit
cb9ee15413aa took 14m 49s · finished 3w ago recovered: running build job has no active runner attempt; stale recovery limit exceeded, failing job instead of requeueing
Semantic extraction
Modules done -
Remaining 0
Path -
Timeout left -
Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | succeeded | none | 95 | 13m 13s |
stable_superset | failed | timeout | 1 | 4h 0m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00094 | succeeded | none | 1 | 6m 12s | |
extract-batch-00093 | succeeded | none | 1 | 5m 22s | |
extract-batch-00092 | succeeded | none | 1 | 5m 44s | |
extract-batch-00091 | succeeded | none | 1 | 5m 56s | |
extract-batch-00090 | succeeded | none | 1 | 4m 50s | |
extract-batch-00089 | succeeded | none | 1 | 5m 17s | |
extract-batch-00088 | succeeded | none | 1 | 4m 47s | |
extract-batch-00087 | succeeded | none | 1 | 5m 15s | |
extract-batch-00086 | succeeded | none | 1 | 4m 0s | |
extract-batch-00085 | succeeded | none | 1 | 5m 44s | |
extract-batch-00084 | succeeded | none | 1 | 4m 6s | |
extract-batch-00083 | succeeded | none | 1 | 5m 48s | |
extract-batch-00082 | succeeded | none | 1 | 4m 58s | |
extract-batch-00081 | succeeded | none | 1 | 4m 52s | |
extract-batch-00080 | succeeded | none | 1 | 4m 7s | |
extract-batch-00079 | succeeded | none | 1 | 5m 6s | |
extract-batch-00078 | succeeded | none | 1 | 3m 54s | |
extract-batch-00077 | succeeded | none | 1 | 4m 0s | |
extract-batch-00076 | succeeded | none | 1 | 5m 47s | |
extract-batch-00075 | succeeded | none | 1 | 3m 58s | |
extract-batch-00074 | succeeded | none | 1 | 4m 56s | |
extract-batch-00073 | succeeded | none | 1 | 3m 49s | |
extract-batch-00072 | succeeded | none | 1 | 5m 50s | |
extract-batch-00071 | succeeded | none | 1 | 2m 53s | |
extract-batch-00070 | succeeded | none | 1 | 3m 0s | |
extract-batch-00069 | succeeded | none | 1 | 5m 26s | |
extract-batch-00068 | succeeded | none | 1 | 3m 44s | |
extract-batch-00067 | succeeded | none | 1 | 3m 50s | |
extract-batch-00066 | succeeded | none | 1 | 3m 40s | |
extract-batch-00065 | succeeded | none | 1 | 5m 6s | |
extract-batch-00064 | succeeded | none | 1 | 2m 59s | |
extract-batch-00063 | succeeded | none | 1 | 5m 26s | |
extract-batch-00062 | succeeded | none | 1 | 5m 27s | |
extract-batch-00061 | succeeded | none | 1 | 5m 24s | |
extract-batch-00060 | succeeded | none | 1 | 3m 47s | |
extract-batch-00059 | succeeded | none | 1 | 3m 52s | |
extract-batch-00058 | succeeded | none | 1 | 5m 28s | |
extract-batch-00057 | succeeded | none | 1 | 2m 55s | |
extract-batch-00056 | succeeded | none | 1 | 4m 6s | |
extract-batch-00055 | succeeded | none | 1 | 4m 9s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | db_checkpoint | 3s | 1 | 245 | 980 | - | |
exact_batch | fragment_encoding | 25 ms | 1 | 245 | 980 | - | |
exact_batch | rust_validation | 271 ms | 1 | 245 | 980 | 166.6 MiB | |
exact_batch | lean_import_env_load | 6m 2s | - | - | - | - | |
exact_batch | semantic_command | 6m 12s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 6m 2s | - | - | - | - | |
exact_batch | runner_cache_store | 0 ms | - | - | - | - | |
exact_batch | runner_compile | 4s | - | - | - | - | |
exact_batch | runner_cache_lookup | 21 ms | - | - | - | - | |
exact_batch | runner_cache_key | 257 ms | - | - | - | - | |
exact_batch | core_compile | 18 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | db_checkpoint | 226 ms | 1 | 26 | 62 | - | |
exact_batch | fragment_encoding | 3 ms | 1 | 26 | 62 | - | |
exact_batch | rust_validation | 36 ms | 1 | 26 | 62 | 14.9 MiB | |
exact_batch | lean_import_env_load | 5m 17s | - | - | - | - | |
exact_batch | semantic_command | 5m 22s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 5m 17s | - | - | - | - | |
exact_batch | runner_cache_store | 0 ms | - | - | - | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
recovered: running build job has no active runner attempt; stale recovery limit exceeded, failing job instead of requeueing
Attempts
- failed #1
recovered: running build job has no active runner attempt
- failed #2
recovered: running build job has no active runner attempt
- failed #3
-
-
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.