Verification run
Run 23
failed commit
c541ddcef7c9 toolchain lean-v4-31-0-rc2 prover lean took 9h 47m · finished 4w ago ./.apodeixis/tools/lean-semantic-extract.sh (extract-stable-superset) failed with exit code none (process did not exit cleanly) (toolchain lean-v4-31-0-rc2, command: <command argv unavailable>)
Semantic extraction
Modules done 98 / 98
Remaining 0
Path final merge json write
Timeout left -
latest phase
final_merge_json_write 98 active targets 172 active imports 98 succeeded attempts · 80 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | succeeded | none | 79 | 12m 47s |
stable_superset | failed | timeout | 1 | 3h 0m |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00078 | succeeded | none | 1 | 8m 33s | |
extract-batch-00077 | succeeded | none | 1 | 7m 14s | |
extract-batch-00076 | succeeded | none | 1 | 6m 25s | |
extract-batch-00075 | succeeded | none | 1 | 7m 30s | |
extract-batch-00074 | succeeded | none | 1 | 5m 37s | |
extract-batch-00073 | succeeded | none | 1 | 5m 2s | |
extract-batch-00072 | succeeded | none | 1 | 5m 55s | |
extract-batch-00071 | succeeded | none | 1 | 6m 4s | |
extract-batch-00070 | succeeded | none | 1 | 6m 2s | |
extract-batch-00069 | succeeded | none | 1 | 5m 35s | |
extract-batch-00068 | succeeded | none | 1 | 5m 38s | |
extract-batch-00067 | succeeded | none | 1 | 5m 39s | |
extract-batch-00066 | succeeded | none | 1 | 5m 18s | |
extract-batch-00065 | succeeded | none | 1 | 4m 6s | |
extract-batch-00064 | succeeded | none | 1 | 5m 50s | |
extract-batch-00063 | succeeded | none | 1 | 5m 33s | |
extract-batch-00062 | succeeded | none | 1 | 5m 37s | |
extract-batch-00061 | succeeded | none | 1 | 5m 53s | |
extract-batch-00060 | succeeded | none | 1 | 5m 12s | |
extract-batch-00059 | succeeded | none | 1 | 7m 34s | |
extract-batch-00058 | succeeded | none | 1 | 5m 21s | |
extract-batch-00057 | succeeded | none | 1 | 5m 37s | |
extract-batch-00056 | succeeded | none | 1 | 7m 18s | |
extract-batch-00055 | succeeded | none | 1 | 4m 53s | |
extract-batch-00054 | succeeded | none | 1 | 5m 41s | |
extract-batch-00053 | succeeded | none | 1 | 6m 6s | |
extract-batch-00052 | succeeded | none | 1 | 5m 54s | |
extract-batch-00051 | succeeded | none | 1 | 6m 38s | |
extract-batch-00050 | succeeded | none | 1 | 4m 30s | |
extract-batch-00049 | succeeded | none | 1 | 4m 12s | |
extract-batch-00048 | succeeded | none | 1 | 4m 10s | |
extract-batch-00047 | succeeded | none | 1 | 7m 3s | |
extract-batch-00046 | succeeded | none | 1 | 6m 50s | |
extract-batch-00045 | succeeded | none | 1 | 5m 20s | |
extract-batch-00044 | succeeded | none | 1 | 4m 55s | |
extract-batch-00043 | succeeded | none | 1 | 5m 38s | |
extract-batch-00042 | succeeded | none | 1 | 2m 40s | |
extract-batch-00041 | succeeded | none | 1 | 4m 28s | |
extract-batch-00040 | succeeded | none | 1 | 3m 31s | |
extract-batch-00039 | succeeded | none | 1 | 4m 20s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | final_merge_json_write | 2m 11s | 172 | - | - | - | |
exact_batch | db_checkpoint | 5s | 1 | 245 | 980 | - | |
exact_batch | fragment_encoding | 618 ms | 1 | 245 | 980 | - | |
exact_batch | rust_validation | 2s | 1 | 245 | 980 | 166.6 MiB | |
exact_batch | lean_import_env_load | 7m 15s | - | - | - | - | |
exact_batch | lean_import_env_extract_write | 7m 15s | - | - | - | - | |
exact_batch | runner_cache_store | 0 ms | - | - | - | - | |
exact_batch | runner_compile | 1m 12s | - | - | - | - | |
exact_batch | runner_cache_lookup | 24 ms | - | - | - | - | |
exact_batch | runner_cache_key | 1s | - | - | - | - | |
exact_batch | core_compile | 23 ms | - | - | - | - | |
exact_batch | semantic_command | 8m 33s | 1 | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 10 ms | 1 | - | - | - | |
exact_batch | db_checkpoint | 1s | 1 | 26 | 62 | - | |
exact_batch | fragment_encoding | 145 ms | 1 | 26 | 62 | - | |
exact_batch | rust_validation | 1s | 1 | 26 | 62 | 19.8 MiB | |
exact_batch | lean_import_env_load | 6m 28s | - | - | - | - | |
exact_batch | lean_import_env_extract_write | 6m 28s | - | - | - | - | |
exact_batch | runner_cache_store | 0 ms | - | - | - | - |
Workflow timeline
1 workflow- build verificationfailedstarted finished
- verify failed
./.apodeixis/tools/lean-semantic-extract.sh (extract-stable-superset) 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
- succeeded #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.