Verification run

Run 101

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller
failed commit cb559c518f93 took 1h 11m · 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 failed timeout 1 4h 0m
stable_superset succeeded none 23 33m 0s

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-stable-superset-r22 succeeded none 1 5m 36s
extract-stable-superset-r21 succeeded none 1 5m 41s
extract-stable-superset-r20 succeeded none 1 8m 53s
extract-stable-superset-r19 succeeded none 1 8m 46s
extract-stable-superset-r18 succeeded none 1 8m 38s
extract-stable-superset-r17 succeeded none 1 8m 21s
extract-stable-superset-r16 succeeded none 1 8m 39s
extract-stable-superset-r15 succeeded none 1 18m 41s
extract-stable-superset-r15-partial succeeded none 1 11m 0s
extract-stable-superset-r14 succeeded none 1 18m 47s
extract-stable-superset-r14-partial succeeded none 1 11m 0s
extract-stable-superset-r13 succeeded none 1 26m 6s
extract-stable-superset-r13-partial succeeded none 2 18m 0s
extract-stable-superset-r12 succeeded none 1 32m 58s
extract-stable-superset-r12-partial succeeded none 3 25m 0s
extract-stable-superset-r11 succeeded none 1 31m 59s
extract-stable-superset-r11-partial succeeded none 3 25m 0s
extract-stable-superset-r10 succeeded none 1 32m 27s
extract-stable-superset-r10-partial succeeded none 3 25m 0s
extract-stable-superset-r9-partial succeeded none 4 33m 0s
extract-stable-superset-r8 succeeded none 1 17m 43s
extract-stable-superset-r8-partial succeeded none 1 10m 0s
extract-stable-superset-r7 succeeded none 1 31m 30s
extract-stable-superset-r7-partial succeeded none 3 25m 0s
extract-stable-superset-r6 succeeded none 1 23m 58s
extract-stable-superset-r6-partial succeeded none 2 17m 0s
extract-stable-superset-r5 succeeded none 1 27m 14s
extract-stable-superset-r5-partial succeeded none 3 22m 0s
extract-stable-superset-r4 succeeded none 1 16m 44s
extract-stable-superset-r4-partial succeeded none 1 9m 0s
extract-stable-superset-r3 succeeded none 1 13m 34s
extract-stable-superset-r3-partial succeeded none 1 6m 0s
extract-stable-superset-r2 succeeded none 1 16m 56s
extract-stable-superset-r2-partial succeeded none 1 9m 0s
extract-stable-superset-b succeeded none 1 15m 11s
extract-stable-superset-b-partial succeeded none 1 8m 0s
extract-stable-superset-a succeeded none 1 23m 28s
extract-stable-superset-a-partial succeeded none 2 18m 0s
extract-stable-superset failed timeout 54 4h 0m
extract-stable-superset-partial succeeded none 28 3h 59m

Recent phases

Time Runner Phase Duration Modules Declarations Dependencies Payload
stable_superset db_checkpoint 11 ms 1 11 1 -
stable_superset fragment_encoding 0 ms 1 11 1 -
stable_superset rust_validation 2 ms 1 11 1 -
stable_superset lean_import_env_load 5m 25s - - - -
stable_superset semantic_command 5m 36s 1 - - -
stable_superset lean_import_env_extract_write 5m 25s - - - -
stable_superset runner_cache_lookup 37 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 2 ms 1 - - -
stable_superset db_checkpoint 19 ms 1 24 45 -
stable_superset fragment_encoding 0 ms 1 24 45 -
stable_superset rust_validation 11 ms 1 24 45 -
stable_superset lean_import_env_load 5m 30s - - - -
stable_superset semantic_command 5m 41s 1 - - -
stable_superset lean_import_env_extract_write 5m 30s - - - -
stable_superset runner_cache_lookup 48 ms - - - -
stable_superset runner_cache_key 11s - - - -
stable_superset core_compile 25 ms - - - -

Workflow timeline

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