Verification run

Run 104

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller
failed commit b9c2e90a9784 took 1h 13m · finished 3w 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 1h 24m

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-stable-superset succeeded none 1 1h 24m
extract-stable-superset-partial succeeded none 9 1h 17m

Recent phases

Time Runner Phase Duration Modules Declarations Dependencies Payload
stable_superset db_checkpoint 37 ms 1 257 406 -
stable_superset fragment_encoding 0 ms 10 1,787 3,046 -
stable_superset rust_validation 145 ms 10 1,787 3,046 -
stable_superset lean_import_env_load 1h 24m - - - -
stable_superset semantic_command 1h 24m 10 - - -
stable_superset lean_import_env_extract_write 1h 24m - - - -
stable_superset stable_partial_checkpoint 0 ms 1 - - -
stable_superset db_checkpoint 33 ms 1 67 60 -
stable_superset fragment_encoding 2 ms 1 67 60 -
stable_superset stable_partial_checkpoint 0 ms 1 - - -
stable_superset db_checkpoint 22 ms 1 41 37 -
stable_superset fragment_encoding 2 ms 1 41 37 -
stable_superset stable_partial_checkpoint 0 ms 1 - - -
stable_superset db_checkpoint 59 ms 1 263 582 -
stable_superset fragment_encoding 8 ms 1 263 582 -
stable_superset stable_partial_checkpoint 0 ms 1 - - -
stable_superset db_checkpoint 104 ms 1 235 633 -
stable_superset fragment_encoding 28 ms 1 235 633 -
stable_superset stable_partial_checkpoint 0 ms 1 - - -
stable_superset db_checkpoint 39 ms 1 70 75 -

Workflow timeline

1 workflow
  1. build verification run #104
    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: 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