Verification run
Run 25
failed commit
8009e3496a5d toolchain lean-v4-31-0-rc2 prover lean took 6h 23m · 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-rc2, command: <command argv unavailable>)
Semantic extraction
Modules done 62 / 169
Remaining 107
Path semantic command
Timeout left -
latest phase
semantic_command 32 active targets 172 active imports 62 succeeded attempts · 112 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | failed | timeout | 107 | 19s |
exact_batch | succeeded | none | 24 | 13m 53s |
stable_superset | failed | timeout | 1 | 4h 0m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00130 | failed | timeout | 1 | 0 ms | |
extract-batch-00129 | failed | timeout | 1 | 0 ms | |
extract-batch-00128 | failed | timeout | 1 | 0 ms | |
extract-batch-00127 | failed | timeout | 1 | 0 ms | |
extract-batch-00126 | failed | timeout | 1 | 0 ms | |
extract-batch-00125 | failed | timeout | 1 | 0 ms | |
extract-batch-00124 | failed | timeout | 1 | 0 ms | |
extract-batch-00123 | failed | timeout | 1 | 0 ms | |
extract-batch-00122 | failed | timeout | 1 | 0 ms | |
extract-batch-00121 | failed | timeout | 1 | 0 ms | |
extract-batch-00120 | failed | timeout | 1 | 0 ms | |
extract-batch-00119 | failed | timeout | 1 | 0 ms | |
extract-batch-00118 | failed | timeout | 1 | 0 ms | |
extract-batch-00117 | failed | timeout | 1 | 0 ms | |
extract-batch-00116 | failed | timeout | 1 | 0 ms | |
extract-batch-00115 | failed | timeout | 1 | 0 ms | |
extract-batch-00114 | failed | timeout | 1 | 0 ms | |
extract-batch-00113 | failed | timeout | 1 | 0 ms | |
extract-batch-00112 | failed | timeout | 1 | 0 ms | |
extract-batch-00111 | failed | timeout | 1 | 0 ms | |
extract-batch-00110 | failed | timeout | 1 | 0 ms | |
extract-batch-00109 | failed | timeout | 1 | 0 ms | |
extract-batch-00108 | failed | timeout | 1 | 0 ms | |
extract-batch-00107 | failed | timeout | 1 | 0 ms | |
extract-batch-00106 | failed | timeout | 1 | 0 ms | |
extract-batch-00105 | failed | timeout | 1 | 0 ms | |
extract-batch-00104 | failed | timeout | 1 | 0 ms | |
extract-batch-00103 | failed | timeout | 1 | 0 ms | |
extract-batch-00102 | failed | timeout | 1 | 0 ms | |
extract-batch-00101 | failed | timeout | 1 | 0 ms | |
extract-batch-00100 | failed | timeout | 1 | 0 ms | |
extract-batch-00099 | failed | timeout | 1 | 0 ms | |
extract-batch-00098 | failed | timeout | 1 | 0 ms | |
extract-batch-00097 | failed | timeout | 1 | 0 ms | |
extract-batch-00096 | failed | timeout | 1 | 0 ms | |
extract-batch-00095 | failed | timeout | 1 | 0 ms | |
extract-batch-00094 | failed | timeout | 1 | 0 ms | |
extract-batch-00093 | failed | timeout | 1 | 0 ms | |
extract-batch-00092 | failed | timeout | 1 | 0 ms | |
extract-batch-00091 | failed | timeout | 1 | 0 ms |
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-00000) failed with exit code none (process did not exit cleanly) (toolchain lean-v4-31-0-rc2, 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.