Verification run
Run 27
succeeded commit
da43bbecb5da toolchain lean-v4-31-0 prover lean took 8m 25s · finished 4w ago
Semantic extraction
Modules done -
Remaining 0
Path -
Timeout left -
Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | succeeded | none | 93 | 6m 34s |
stable_superset | failed | timeout | 1 | 4h 0m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00092 | succeeded | none | 1 | 6m 1s | |
extract-batch-00091 | succeeded | none | 1 | 6m 34s | |
extract-batch-00090 | succeeded | none | 1 | 6m 22s | |
extract-batch-00089 | succeeded | none | 1 | 5m 48s | |
extract-batch-00088 | succeeded | none | 1 | 5m 55s | |
extract-batch-00087 | succeeded | none | 1 | 5m 32s | |
extract-batch-00086 | succeeded | none | 1 | 5m 32s | |
extract-batch-00085 | succeeded | none | 1 | 5m 15s | |
extract-batch-00084 | succeeded | none | 1 | 4m 21s | |
extract-batch-00083 | succeeded | none | 1 | 6m 15s | |
extract-batch-00082 | succeeded | none | 1 | 4m 20s | |
extract-batch-00081 | succeeded | none | 1 | 4m 7s | |
extract-batch-00080 | succeeded | none | 1 | 4m 29s | |
extract-batch-00079 | succeeded | none | 1 | 5m 12s | |
extract-batch-00078 | succeeded | none | 1 | 4m 28s | |
extract-batch-00077 | succeeded | none | 1 | 4m 25s | |
extract-batch-00076 | succeeded | none | 1 | 3m 24s | |
extract-batch-00075 | succeeded | none | 1 | 4m 24s | |
extract-batch-00074 | succeeded | none | 1 | 5m 3s | |
extract-batch-00073 | succeeded | none | 1 | 4m 13s | |
extract-batch-00072 | succeeded | none | 1 | 5m 4s | |
extract-batch-00071 | succeeded | none | 1 | 5m 26s | |
extract-batch-00070 | succeeded | none | 1 | 3m 11s | |
extract-batch-00069 | succeeded | none | 1 | 3m 24s | |
extract-batch-00068 | succeeded | none | 1 | 4m 14s | |
extract-batch-00067 | succeeded | none | 1 | 4m 4s | |
extract-batch-00066 | succeeded | none | 1 | 4m 15s | |
extract-batch-00065 | succeeded | none | 1 | 5m 33s | |
extract-batch-00064 | succeeded | none | 1 | 3m 14s | |
extract-batch-00063 | succeeded | none | 1 | 4m 4s | |
extract-batch-00062 | succeeded | none | 1 | 3m 57s | |
extract-batch-00061 | succeeded | none | 1 | 2m 54s | |
extract-batch-00060 | succeeded | none | 1 | 3m 25s | |
extract-batch-00059 | succeeded | none | 1 | 3m 11s | |
extract-batch-00058 | succeeded | none | 1 | 2m 27s | |
extract-batch-00057 | succeeded | none | 1 | 2m 31s | |
extract-batch-00056 | succeeded | none | 1 | 4m 20s | |
extract-batch-00055 | succeeded | none | 1 | 3m 2s | |
extract-batch-00054 | succeeded | none | 1 | 3m 24s | |
extract-batch-00053 | succeeded | none | 1 | 2m 8s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | final_merge_json_write | 2m 8s | 172 | - | - | - | |
exact_batch | db_checkpoint | 262 ms | 1 | 26 | 62 | - | |
exact_batch | fragment_encoding | 4 ms | 1 | 26 | 62 | - | |
exact_batch | rust_validation | 164 ms | 1 | 26 | 62 | 19.8 MiB | |
exact_batch | lean_import_env_load | 5m 56s | - | - | - | - | |
exact_batch | semantic_command | 6m 1s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 5m 56s | - | - | - | - | |
exact_batch | runner_cache_store | 0 ms | - | - | - | - | |
exact_batch | runner_compile | 4s | - | - | - | - | |
exact_batch | runner_cache_lookup | 26 ms | - | - | - | - | |
exact_batch | runner_cache_key | 248 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 | 502 ms | 1 | 179 | 556 | - | |
exact_batch | fragment_encoding | 6 ms | 1 | 179 | 556 | - | |
exact_batch | rust_validation | 92 ms | 1 | 179 | 556 | 36.5 MiB | |
exact_batch | lean_import_env_load | 6m 11s | - | - | - | - | |
exact_batch | semantic_command | 6m 34s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 6m 11s | - | - | - | - |
Workflow timeline
1 workflow- build verificationsucceededstarted finished
- verify succeeded
Attempts
- failed #1
recovered: detached build unit missing during pre-claim reconciliation
- succeeded #2
-
- persist result succeeded
Attempts
- succeeded #1
-
- complete job succeeded
Attempts
- failed #1
superseded by retry
- succeeded #2
-
-
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.