Verification run
Run 26
failed commit
da43bbecb5da toolchain lean-v4-31-0 prover lean took 5h 37m · finished 4w ago ./.apodeixis/tools/lean-semantic-extract.sh (extract-stable-superset-00000) failed with exit code none (process did not exit cleanly) (toolchain lean-v4-31-0, command: <command argv unavailable>)
Semantic extraction
Modules done 53 / 172
Remaining 119
Path semantic command
Timeout left -
latest phase
semantic_command 32 active targets 172 active imports 53 succeeded attempts · 123 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | failed | semantic extract failed | 119 | 11 ms |
exact_batch | succeeded | none | 13 | 8m 36s |
stable_superset | failed | timeout | 1 | 4h 0m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00131 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00130 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00129 | failed | semantic extract failed | 1 | 4 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 | 4 ms | |
extract-batch-00124 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00123 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00122 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00121 | failed | semantic extract failed | 1 | 2 ms | |
extract-batch-00120 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00119 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00118 | failed | semantic extract failed | 1 | 5 ms | |
extract-batch-00117 | failed | semantic extract failed | 1 | 5 ms | |
extract-batch-00116 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00115 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00114 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00113 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00112 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00111 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00110 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00109 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00108 | failed | semantic extract failed | 1 | 5 ms | |
extract-batch-00107 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00106 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00105 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00104 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00103 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00102 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00101 | failed | semantic extract failed | 1 | 5 ms | |
extract-batch-00100 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00099 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00098 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00097 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00096 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00095 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00094 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00093 | failed | semantic extract failed | 1 | 4 ms | |
extract-batch-00092 | failed | semantic extract failed | 1 | 4 ms |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | semantic_command | 8 ms | 1 | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 8 ms | 1 | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 7 ms | 1 | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 8 ms | 1 | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 7 ms | 1 | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 6 ms | 1 | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | semantic_command | 8 ms | 1 | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
./.apodeixis/tools/lean-semantic-extract.sh (extract-stable-superset-00000) failed with exit code none (process did not exit cleanly) (toolchain lean-v4-31-0, 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.