Verification run
Run 129
failed commit
2663b131d353 toolchain lean-v4-30-0 prover lean took 1h 26m · finished 2w ago ./.apodeixis/tools/lean-semantic-extract.sh (extract-stable-superset) failed with exit code 1 (toolchain lean-v4-30-0, command: <command argv unavailable>)
Semantic extraction
Modules done 6 / 22
Remaining 16
Path db checkpoint
Timeout left -
latest phase
db_checkpoint 22 active targets 184 active imports 6 succeeded attempts · 52 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | failed | import failure | 2 | 10s |
exact_batch | failed | semantic extract failed | 21 | 10s |
exact_batch | succeeded | none | 6 | 12m 51s |
stable_superset | failed | semantic extract failed | 1 | 1m 28s |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00014 | succeeded | none | 1 | 10m 7s | |
extract-batch-00013 | failed | import failure | 1 | 10s | |
extract-batch-00012 | succeeded | none | 1 | 10m 52s | |
extract-batch-00011 | succeeded | none | 1 | 10m 1s | |
extract-batch-00010 | succeeded | none | 1 | 8m 39s | |
extract-batch-00009 | succeeded | none | 1 | 7m 56s | |
extract-batch-00008-b | failed | import failure | 1 | 3s | |
extract-batch-00008-a | failed | semantic extract failed | 1 | 3s | |
extract-batch-00008 | failed | semantic extract failed | 2 | 3s | |
extract-batch-00007-b | failed | semantic extract failed | 1 | 3s | |
extract-batch-00007-a | failed | semantic extract failed | 1 | 3s | |
extract-batch-00007 | failed | semantic extract failed | 2 | 3s | |
extract-batch-00006-b | failed | semantic extract failed | 1 | 3s | |
extract-batch-00006-a | failed | semantic extract failed | 1 | 3s | |
extract-batch-00006 | failed | semantic extract failed | 2 | 3s | |
extract-batch-00005-b | failed | semantic extract failed | 1 | 3s | |
extract-batch-00005-a | failed | semantic extract failed | 1 | 3s | |
extract-batch-00005 | failed | semantic extract failed | 2 | 3s | |
extract-batch-00004-b | failed | semantic extract failed | 1 | 3s | |
extract-batch-00004-a | failed | semantic extract failed | 1 | 3s | |
extract-batch-00004 | failed | semantic extract failed | 2 | 3s | |
extract-batch-00003-b | failed | semantic extract failed | 1 | 3s | |
extract-batch-00003-a | failed | semantic extract failed | 1 | 3s | |
extract-batch-00003 | failed | semantic extract failed | 2 | 4s | |
extract-batch-00002-b | failed | semantic extract failed | 1 | 4s | |
extract-batch-00002-a | failed | semantic extract failed | 1 | 4s | |
extract-batch-00002 | failed | semantic extract failed | 2 | 10s | |
extract-batch-00001 | succeeded | none | 1 | 12m 51s | |
extract-batch-00000 | failed | semantic extract failed | 1 | 4s | |
extract-stable-superset | failed | semantic extract failed | 22 | 1m 28s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | db_checkpoint | 8 ms | 1 | 0 | 0 | - | |
exact_batch | fragment_encoding | 0 ms | 1 | 0 | 0 | - | |
exact_batch | rust_validation | 0 ms | 1 | 0 | 0 | 772 B | |
exact_batch | lean_import_env_load | 10m 6s | - | - | - | - | |
exact_batch | semantic_command | 10m 7s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 10m 6s | - | - | - | - | |
exact_batch | runner_cache_lookup | 40 ms | - | - | - | - | |
exact_batch | runner_cache_key | 117 ms | - | - | - | - | |
exact_batch | core_compile | 24 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | lean_import_env_load | 9s | - | - | - | - | |
exact_batch | semantic_command | 10s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 9s | - | - | - | - | |
exact_batch | runner_cache_lookup | 39 ms | - | - | - | - | |
exact_batch | runner_cache_key | 530 ms | - | - | - | - | |
exact_batch | core_compile | 22 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 14 ms | 1 | - | - | - | |
exact_batch | db_checkpoint | 117 ms | 1 | 263 | 583 | - |
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-30-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.