Verification run
Run 128
failed commit
5693c6340837 toolchain lean-v4-30-0 prover lean took 2h 20m · 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 8 / 24
Remaining 16
Path db checkpoint
Timeout left -
latest phase
db_checkpoint 24 active targets 184 active imports 8 succeeded attempts · 54 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | failed | import failure | 2 | 13s |
exact_batch | failed | semantic extract failed | 21 | 22s |
exact_batch | succeeded | none | 8 | 16m 19s |
stable_superset | failed | semantic extract failed | 1 | 1m 4s |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00016 | succeeded | none | 1 | 9m 56s | |
extract-batch-00015 | failed | import failure | 1 | 13s | |
extract-batch-00014 | succeeded | none | 1 | 11m 5s | |
extract-batch-00013 | succeeded | none | 1 | 10m 11s | |
extract-batch-00012 | succeeded | none | 1 | 9m 44s | |
extract-batch-00011 | succeeded | none | 1 | 9m 48s | |
extract-batch-00010 | succeeded | none | 1 | 8m 53s | |
extract-batch-00009 | succeeded | none | 1 | 8m 32s | |
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 | 3s | |
extract-batch-00002-a | failed | semantic extract failed | 1 | 3s | |
extract-batch-00002 | failed | semantic extract failed | 2 | 22s | |
extract-batch-00001 | succeeded | none | 1 | 16m 19s | |
extract-batch-00000 | failed | semantic extract failed | 1 | 3s | |
extract-stable-superset | failed | semantic extract failed | 24 | 1m 4s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | db_checkpoint | 13 ms | 1 | 0 | 0 | - | |
exact_batch | fragment_encoding | 0 ms | 1 | 0 | 0 | - | |
exact_batch | rust_validation | 2 ms | 1 | 0 | 0 | 772 B | |
exact_batch | lean_import_env_load | 8m 38s | - | - | - | - | |
exact_batch | semantic_command | 9m 56s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 8m 38s | - | - | - | - | |
exact_batch | runner_cache_store | 0 ms | - | - | - | - | |
exact_batch | runner_compile | 1m 17s | - | - | - | - | |
exact_batch | runner_cache_lookup | 27 ms | - | - | - | - | |
exact_batch | runner_cache_key | 475 ms | - | - | - | - | |
exact_batch | core_compile | 23 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | lean_import_env_load | 10s | - | - | - | - | |
exact_batch | semantic_command | 13s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 10s | - | - | - | - | |
exact_batch | runner_cache_lookup | 47 ms | - | - | - | - | |
exact_batch | runner_cache_key | 1s | - | - | - | - | |
exact_batch | core_compile | 23 ms | - | - | - | - | |
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) 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.