Verification run
Run 83
succeeded commit
4ecb950126c4 toolchain lean-v4-30-0 prover lean took 10h 39m · finished 4w ago
Semantic extraction
Modules done 78 / 78
Remaining 0
Path final merge json write
Timeout left -
latest phase
final_merge_json_write 4 active targets 188 active imports 78 succeeded attempts · 2 failed attempts 1 stable failure Command outcomes
| Runner | Status | Failure | Events | Max duration |
|---|---|---|---|---|
exact_batch | succeeded | none | 43 | 14m 17s |
stable_superset | failed | timeout | 1 | 14m 34s |
stable_superset | succeeded | none | 10 | 31m 0s |
Module attempts
| Batch | Status | Failure | Modules | Max duration | Latest finish |
|---|---|---|---|---|---|
extract-batch-00042 | succeeded | none | 1 | 7m 22s | |
extract-batch-00041 | succeeded | none | 1 | 7m 8s | |
extract-batch-00040 | succeeded | none | 1 | 6m 57s | |
extract-batch-00039 | succeeded | none | 1 | 7m 19s | |
extract-batch-00038 | succeeded | none | 1 | 7m 9s | |
extract-batch-00037 | succeeded | none | 1 | 6m 59s | |
extract-batch-00036 | succeeded | none | 1 | 7m 4s | |
extract-batch-00035 | succeeded | none | 1 | 7m 19s | |
extract-batch-00034 | succeeded | none | 1 | 7m 5s | |
extract-batch-00033 | succeeded | none | 1 | 7m 23s | |
extract-batch-00032 | succeeded | none | 1 | 7m 59s | |
extract-batch-00031 | succeeded | none | 1 | 7m 19s | |
extract-batch-00030 | succeeded | none | 1 | 7m 9s | |
extract-batch-00029 | succeeded | none | 1 | 7m 31s | |
extract-batch-00028 | succeeded | none | 1 | 7m 21s | |
extract-batch-00027 | succeeded | none | 1 | 7m 26s | |
extract-batch-00026 | succeeded | none | 1 | 7m 39s | |
extract-batch-00025 | succeeded | none | 1 | 7m 35s | |
extract-batch-00024 | succeeded | none | 1 | 7m 31s | |
extract-batch-00023 | succeeded | none | 1 | 7m 36s | |
extract-batch-00022 | succeeded | none | 1 | 7m 34s | |
extract-batch-00021 | succeeded | none | 1 | 7m 33s | |
extract-batch-00020 | succeeded | none | 1 | 7m 38s | |
extract-batch-00019 | succeeded | none | 1 | 7m 40s | |
extract-batch-00018 | succeeded | none | 1 | 7m 39s | |
extract-batch-00017 | succeeded | none | 1 | 7m 22s | |
extract-batch-00016 | succeeded | none | 1 | 7m 20s | |
extract-batch-00015 | succeeded | none | 1 | 7m 15s | |
extract-batch-00014 | succeeded | none | 1 | 7m 8s | |
extract-batch-00013 | succeeded | none | 1 | 7m 18s | |
extract-batch-00012 | succeeded | none | 1 | 7m 11s | |
extract-batch-00011 | succeeded | none | 1 | 8m 6s | |
extract-batch-00010 | succeeded | none | 1 | 7m 11s | |
extract-batch-00009 | succeeded | none | 1 | 6m 58s | |
extract-batch-00008 | succeeded | none | 1 | 7m 42s | |
extract-batch-00007 | succeeded | none | 1 | 7m 15s | |
extract-batch-00006 | succeeded | none | 1 | 6m 42s | |
extract-batch-00005 | succeeded | none | 1 | 7m 19s | |
extract-batch-00004 | succeeded | none | 1 | 6m 57s | |
extract-batch-00003 | succeeded | none | 2 | 13m 45s |
Recent phases
| Time | Runner | Phase | Duration | Modules | Declarations | Dependencies | Payload |
|---|---|---|---|---|---|---|---|
exact_batch | final_merge_json_write | 51s | 188 | - | - | - | |
exact_batch | db_checkpoint | 7 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 | 7m 15s | - | - | - | - | |
exact_batch | semantic_command | 7m 22s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 7m 15s | - | - | - | - | |
exact_batch | runner_cache_store | 0 ms | - | - | - | - | |
exact_batch | runner_compile | 7s | - | - | - | - | |
exact_batch | runner_cache_lookup | 22 ms | - | - | - | - | |
exact_batch | runner_cache_key | 136 ms | - | - | - | - | |
exact_batch | core_compile | 23 ms | - | - | - | - | |
exact_batch | semantic_command_started | 0 ms | 1 | - | - | - | |
exact_batch | runner_materialize | 1 ms | 1 | - | - | - | |
exact_batch | db_checkpoint | 15 ms | 1 | 3 | 3 | - | |
exact_batch | fragment_encoding | 3 ms | 1 | 3 | 3 | - | |
exact_batch | rust_validation | 10 ms | 1 | 3 | 3 | 1.0 MiB | |
exact_batch | lean_import_env_load | 7m 3s | - | - | - | - | |
exact_batch | semantic_command | 7m 8s | 1 | - | - | - | |
exact_batch | lean_import_env_extract_write | 7m 3s | - | - | - | - |
Workflow timeline
1 workflow- build verificationsucceededstarted finished
- verify succeeded
Attempts
- succeeded #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.