Verification run

Run 130

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill
failed commit e7fa93bd427a took 25m 53s · finished 2w ago

recovered: running build job has no active runner attempt; 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 succeeded none 1 12m 21s

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-stable-superset succeeded none 1 12m 21s

Recent phases

Time Runner Phase Duration Modules Declarations Dependencies Payload
stable_superset db_checkpoint 12 ms 1 0 0 -
stable_superset fragment_encoding 0 ms 1 0 0 -
stable_superset rust_validation 1 ms 1 0 0 -
stable_superset lean_import_env_load 9m 46s - - - -
stable_superset semantic_command 12m 21s 1 - - -
stable_superset lean_import_env_extract_write 9m 46s - - - -
stable_superset runner_cache_store 0 ms - - - -
stable_superset runner_compile 2m 1s - - - -
stable_superset runner_cache_lookup 14 ms - - - -
stable_superset runner_cache_key 10s - - - -
stable_superset core_compile 23s - - - -
stable_superset semantic_command_started 0 ms 1 - - -
stable_superset runner_materialize 10 ms 1 - - -
stable_superset stable_runner_gate 0 ms 1 - - -

Workflow timeline

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

      recovered: running build job has no active runner attempt; 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: detached build unit missing during pre-claim reconciliation

      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