Verification run

Run 131

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller
failed commit a7eb3a8ae4bd took 1h 37m · 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 27 56m 23s

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-stable-superset-r26 succeeded none 1 12m 5s
extract-stable-superset-r25 succeeded none 1 11m 50s
extract-stable-superset-r24 succeeded none 1 11m 25s
extract-stable-superset-r23 succeeded none 1 11m 9s
extract-stable-superset-r22 succeeded none 1 11m 2s
extract-stable-superset-r21 succeeded none 1 11m 11s
extract-stable-superset-r20 succeeded none 1 11m 30s
extract-stable-superset-r19 succeeded none 1 19m 46s
extract-stable-superset-r19-partial succeeded none 1 12m 0s
extract-stable-superset-r18 succeeded none 1 20m 21s
extract-stable-superset-r18-partial succeeded none 1 13m 0s
extract-stable-superset-r17 succeeded none 1 24m 25s
extract-stable-superset-r17-partial succeeded none 1 16m 0s
extract-stable-superset-r16 succeeded none 1 26m 41s
extract-stable-superset-r16-partial succeeded none 1 19m 0s
extract-stable-superset-r15 succeeded none 1 24m 12s
extract-stable-superset-r15-partial succeeded none 1 16m 0s
extract-stable-superset-r14 succeeded none 1 25m 26s
extract-stable-superset-r14-partial succeeded none 1 18m 0s
extract-stable-superset-r13 succeeded none 1 27m 13s
extract-stable-superset-r13-partial succeeded none 1 19m 0s
extract-stable-superset-r12 succeeded none 1 19m 11s
extract-stable-superset-r12-partial succeeded none 1 12m 0s
extract-stable-superset-r11 succeeded none 1 19m 19s
extract-stable-superset-r11-partial succeeded none 1 12m 0s
extract-stable-superset-r10 succeeded none 1 19m 24s
extract-stable-superset-r10-partial succeeded none 1 12m 0s
extract-stable-superset-r9 succeeded none 1 27m 27s
extract-stable-superset-r9-partial succeeded none 2 20m 0s
extract-stable-superset-r8 succeeded none 1 20m 21s
extract-stable-superset-r8-partial succeeded none 1 11m 0s
extract-stable-superset-r7 succeeded none 1 23m 20s
extract-stable-superset-r7-partial succeeded none 1 16m 0s
extract-stable-superset-r6 succeeded none 1 32m 30s
extract-stable-superset-r6-partial succeeded none 2 25m 0s
extract-stable-superset-r5 succeeded none 1 29m 55s
extract-stable-superset-r5-partial succeeded none 2 22m 0s
extract-stable-superset-r4 succeeded none 1 24m 39s
extract-stable-superset-r4-partial succeeded none 1 16m 0s
extract-stable-superset-r3 succeeded none 1 26m 48s

Recent phases

Time Runner Phase Duration Modules Declarations Dependencies Payload
stable_superset db_checkpoint 89 ms 1 263 582 -
stable_superset fragment_encoding 0 ms 1 263 582 -
stable_superset rust_validation 14 ms 1 263 582 -
stable_superset lean_import_env_load 11m 53s - - - -
stable_superset semantic_command 12m 5s 1 - - -
stable_superset lean_import_env_extract_write 11m 53s - - - -
stable_superset runner_cache_lookup 56 ms - - - -
stable_superset runner_cache_key 10s - - - -
stable_superset core_compile 23 ms - - - -
stable_superset semantic_command_started 0 ms 1 - - -
stable_superset runner_materialize 16 ms 1 - - -
stable_superset db_checkpoint 74 ms 1 235 633 -
stable_superset fragment_encoding 0 ms 1 235 633 -
stable_superset rust_validation 31 ms 1 235 633 -
stable_superset lean_import_env_load 11m 38s - - - -
stable_superset semantic_command 11m 50s 1 - - -
stable_superset lean_import_env_extract_write 11m 38s - - - -
stable_superset runner_cache_lookup 35 ms - - - -
stable_superset runner_cache_key 10s - - - -
stable_superset core_compile 23 ms - - - -

Workflow timeline

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