Verification run
Run 22
failed commit
c541ddcef7c9 prover lean took 4h 30m · finished 4w ago detached build unit apx-build-498 is not active (state=inactive/dead/success, exec=0/0)
Semantic extraction
Modules done 74 / 172
Remaining 98
Path semantic command
Timeout left -
latest phase
semantic_command 172 active targets 172 active imports 74 succeeded attempts · 272 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | failed | semantic extract failed | 99 | 3m 5s |
exact_batch | succeeded | none | 62 | 12m 8s |
stable_superset | failed | semantic extract failed | 1 | 21m 11s |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00158 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00157 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00156 | failed | semantic extract failed | 1 | 2 ms | |
extract-batch-00155 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00154 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00153 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00152 | failed | semantic extract failed | 1 | 3 ms | |
extract-batch-00151 | failed | semantic extract failed | 1 | 3 ms | |
extract-batch-00150 | failed | semantic extract failed | 1 | 3 ms | |
extract-batch-00149 | failed | semantic extract failed | 1 | 3 ms | |
extract-batch-00148 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00147 | failed | semantic extract failed | 1 | 2 ms | |
extract-batch-00146 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00145 | failed | semantic extract failed | 1 | 2 ms | |
extract-batch-00144 | failed | semantic extract failed | 1 | 6 ms | |
extract-batch-00143 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00142 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00141 | failed | semantic extract failed | 1 | 3 ms | |
extract-batch-00140 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00139 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00138 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00137 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00136 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00135 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00134 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00133 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00132 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00131 | failed | semantic extract failed | 1 | 2 ms | |
extract-batch-00130 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00129 | failed | semantic extract failed | 1 | 3 ms | |
extract-batch-00128 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00127 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00126 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00125 | failed | semantic extract failed | 1 | 3 ms | |
extract-batch-00124 | failed | semantic extract failed | 1 | 3 ms | |
extract-batch-00123 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00122 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00121 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00120 | failed | semantic extract failed | 1 | 1 ms | |
extract-batch-00119 | failed | semantic extract failed | 1 | 1 ms |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | semantic_command | 4 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 4 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 2 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 4 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 4 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 4 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 3 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 3 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 7 ms | 1 | - | - | - | |
exact_batch | semantic_command | 3 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 3 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 0 ms | 1 | - | - | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
detached build unit apx-build-498 is not active (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.