Login

Verification run

Run 122

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill
succeeded commit e3fb6ef3e305 toolchain lean-v4-30-0 prover lean took 7h 51m · finished 2w ago
Open project

Semantic extraction

Modules done 55 / 55
Remaining 0
Path final merge json write
Timeout left -
latest phase final_merge_json_write 55 active targets 168 active imports 55 succeeded attempts · 22 failed attempts 1 stable failure

Command outcomes

Runner Status Failure Events Max duration
stable_superset failed timeout 1 4h 0m
stable_superset succeeded none 8 28m 1s

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-stable-superset-r7 succeeded none 1 15m 8s
extract-stable-superset-r7-partial succeeded none 1 8m 0s
extract-stable-superset-r6 succeeded none 1 14m 6s
extract-stable-superset-r6-partial succeeded none 1 8m 0s
extract-stable-superset-r5 succeeded none 1 14m 44s
extract-stable-superset-r5-partial succeeded none 1 8m 0s
extract-stable-superset-r4 succeeded none 1 22m 6s
extract-stable-superset-r4-partial succeeded none 2 16m 0s
extract-stable-superset-r3 succeeded none 1 22m 4s
extract-stable-superset-r3-partial succeeded none 2 15m 0s
extract-stable-superset-r2 succeeded none 1 28m 1s
extract-stable-superset-r2-partial succeeded none 3 22m 0s
extract-stable-superset-b succeeded none 1 21m 40s
extract-stable-superset-b-partial succeeded none 2 15m 0s
extract-stable-superset-a succeeded none 1 23m 1s
extract-stable-superset-a-partial succeeded none 2 16m 0s
extract-stable-superset failed timeout 22 4h 0m
extract-stable-superset-partial succeeded none 33 3h 57m

Recent phases

Time Runner Phase Duration Modules Declarations Dependencies Payload
stable_superset final_merge_json_write 41s 168 - - -
stable_superset db_checkpoint 59 ms 1 269 599 -
stable_superset fragment_encoding 0 ms 2 504 1,232 -
stable_superset rust_validation 41 ms 2 504 1,232 -
stable_superset lean_import_env_load 14m 59s - - - -
stable_superset semantic_command 15m 8s 2 - - -
stable_superset lean_import_env_extract_write 14m 59s - - - -
stable_superset stable_partial_checkpoint 0 ms 1 - - -
stable_superset db_checkpoint 67 ms 1 235 633 -
stable_superset fragment_encoding 27 ms 1 235 633 -
stable_superset runner_cache_lookup 48 ms - - - -
stable_superset runner_cache_key 9s - - - -
stable_superset core_compile 24 ms - - - -
stable_superset semantic_command_started 0 ms 2 - - -
stable_superset runner_materialize 1 ms 2 - - -
stable_superset db_checkpoint 21 ms 1 67 60 -
stable_superset fragment_encoding 0 ms 2 137 135 -
stable_superset rust_validation 4 ms 2 137 135 -
stable_superset lean_import_env_load 13m 58s - - - -
stable_superset semantic_command 14m 6s 2 - - -

Workflow timeline

1 workflow
  1. build verification run #122
    succeeded
    started finished
    1. verify succeeded
      attempts 1 input 02e4c4379131output 8f5729c93b9c
      Attempts
      1. succeeded #1
    2. persist result succeeded
      attempts 1 input 02e4c4379131output 8f5729c93b9c
      Attempts
      1. succeeded #1
    3. complete job succeeded
      attempts 2
      Attempts
      1. failed #1

        superseded by retry

      2. 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.

Keyboard shortcuts