Verification run

Run 127

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill
failed commit 33f60328c9ad took 49m 59s · finished 2w ago

recovered: detached build unit missing during pre-claim reconciliation; stale recovery limit exceeded, failing job instead of requeueing

Open project

Semantic extraction

Modules done -
Remaining 0
Path -
Timeout left -

Command outcomes

Runner Status Failure Events Max duration
stable_superset failed timeout 1 4h 0m
stable_superset succeeded none 3 46m 37s

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-stable-superset-r2 succeeded none 1 25m 54s
extract-stable-superset-r2-partial succeeded none 1 18m 0s
extract-stable-superset-b succeeded none 1 32m 6s
extract-stable-superset-b-partial succeeded none 2 24m 0s
extract-stable-superset-a succeeded none 1 46m 37s
extract-stable-superset-a-partial succeeded none 5 40m 0s
extract-stable-superset failed timeout 11 4h 0m
extract-stable-superset-partial succeeded none 30 3h 55m

Recent phases

Time Runner Phase Duration Modules Declarations Dependencies Payload
stable_superset db_checkpoint 96 ms 1 269 599 -
stable_superset fragment_encoding 0 ms 2 504 1,232 -
stable_superset rust_validation 58 ms 2 504 1,232 -
stable_superset lean_import_env_load 25m 41s - - - -
stable_superset semantic_command 25m 54s 2 - - -
stable_superset lean_import_env_extract_write 25m 41s - - - -
stable_superset stable_partial_checkpoint 0 ms 1 - - -
stable_superset db_checkpoint 78 ms 1 235 633 -
stable_superset fragment_encoding 32 ms 1 235 633 -
stable_superset runner_cache_lookup 36 ms - - - -
stable_superset runner_cache_key 11s - - - -
stable_superset core_compile 13 ms - - - -
stable_superset semantic_command_started 0 ms 2 - - -
stable_superset runner_materialize 22 ms 2 - - -
stable_superset db_checkpoint 75 ms 1 265 327 -
stable_superset fragment_encoding 0 ms 3 402 542 -
stable_superset rust_validation 35 ms 3 402 542 -
stable_superset lean_import_env_load 31m 52s - - - -
stable_superset semantic_command 32m 6s 3 - - -
stable_superset lean_import_env_extract_write 31m 52s - - - -

Workflow timeline

1 workflow
  1. build verification run #127
    failed
    started finished
    1. verify failed
      attempts 3

      recovered: detached build unit missing during pre-claim reconciliation; stale recovery limit exceeded, failing job instead of requeueing

      Attempts
      1. failed #1

        recovered: running build job has no active runner attempt

      2. failed #2

        recovered: running build job has no active runner attempt

      3. failed #3

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