Verification run
Run 41
failed commit
7523cbe52986 toolchain lean-v4-32-0-rc1 prover lean took 14h 36m · finished 2w ago ./.apodeixis/tools/lean-semantic-extract.sh (extract-stable-superset) failed with exit code 1 (toolchain lean-v4-32-0-rc1, command: <command argv unavailable>)
Semantic extraction
Modules done 158 / 181
Remaining 23
Path semantic command
Timeout left -
latest phase
semantic_command 181 active targets 184 active imports 158 succeeded attempts · 200 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | failed | timeout | 23 | 8m 51s |
exact_batch | succeeded | none | 141 | 55m 28s |
stable_superset | failed | import failure | 1 | 1h 35m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00163 | failed | timeout | 1 | 0 ms | |
extract-batch-00162 | failed | timeout | 1 | 0 ms | |
extract-batch-00161 | failed | timeout | 1 | 0 ms | |
extract-batch-00160 | failed | timeout | 1 | 0 ms | |
extract-batch-00159 | failed | timeout | 1 | 0 ms | |
extract-batch-00158 | failed | timeout | 1 | 0 ms | |
extract-batch-00157 | failed | timeout | 1 | 0 ms | |
extract-batch-00156 | failed | timeout | 1 | 0 ms | |
extract-batch-00155 | failed | timeout | 1 | 0 ms | |
extract-batch-00154 | failed | timeout | 1 | 0 ms | |
extract-batch-00153 | failed | timeout | 1 | 0 ms | |
extract-batch-00152 | failed | timeout | 1 | 0 ms | |
extract-batch-00151 | failed | timeout | 1 | 0 ms | |
extract-batch-00150 | failed | timeout | 1 | 0 ms | |
extract-batch-00149 | failed | timeout | 1 | 0 ms | |
extract-batch-00148 | failed | timeout | 1 | 0 ms | |
extract-batch-00147 | failed | timeout | 1 | 0 ms | |
extract-batch-00146 | failed | timeout | 1 | 0 ms | |
extract-batch-00145 | failed | timeout | 1 | 0 ms | |
extract-batch-00144 | failed | timeout | 1 | 0 ms | |
extract-batch-00143 | failed | timeout | 1 | 0 ms | |
extract-batch-00142 | failed | timeout | 1 | 0 ms | |
extract-batch-00141 | failed | timeout | 1 | 8m 50s | |
extract-batch-00140 | succeeded | none | 1 | 8m 0s | |
extract-batch-00139 | succeeded | none | 1 | 7m 0s | |
extract-batch-00138 | succeeded | none | 1 | 11m 54s | |
extract-batch-00137 | succeeded | none | 1 | 9m 49s | |
extract-batch-00136 | succeeded | none | 1 | 9m 51s | |
extract-batch-00135 | succeeded | none | 1 | 9m 51s | |
extract-batch-00134 | succeeded | none | 1 | 15m 43s | |
extract-batch-00133 | succeeded | none | 1 | 21m 41s | |
extract-batch-00132 | succeeded | none | 1 | 15m 2s | |
extract-batch-00131 | succeeded | none | 1 | 14m 10s | |
extract-batch-00130 | succeeded | none | 1 | 26m 42s | |
extract-batch-00129 | succeeded | none | 1 | 12m 7s | |
extract-batch-00128 | succeeded | none | 1 | 6m 45s | |
extract-batch-00127 | succeeded | none | 1 | 10m 58s | |
extract-batch-00126 | succeeded | none | 1 | 10m 56s | |
extract-batch-00125 | succeeded | none | 1 | 5m 34s | |
extract-batch-00124 | succeeded | none | 1 | 4m 47s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - | |
exact_batch | semantic_command | 0 ms | 1 | - | - | - | |
exact_batch | semantic_budget_exhausted | 0 ms | 1 | - | - | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
./.apodeixis/tools/lean-semantic-extract.sh (extract-stable-superset) failed with exit code 1 (toolchain lean-v4-32-0-rc1, command: <command argv unavailable>)
Attempts
- failed #1
-
- 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.