Verification run

Run 430

promachina/iut-lean branch master triggered via poller
failed commit a086a914c9e5 took 15m 55s · 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 7 2h 26m

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-stable-superset-r6 succeeded none 1 2h 26m
extract-stable-superset-r5 succeeded none 1 30m 24s
extract-stable-superset-r4 succeeded none 1 15m 45s
extract-stable-superset-r3 succeeded none 1 19m 3s
extract-stable-superset-r2 succeeded none 1 29m 59s
extract-stable-superset-r2-partial succeeded none 2 24m 0s
extract-stable-superset-b succeeded none 1 55m 42s
extract-stable-superset-a succeeded none 1 28m 55s
extract-stable-superset-a-partial succeeded none 2 23m 0s
extract-stable-superset failed timeout 11 4h 0m
extract-stable-superset-partial succeeded none 10 2h 0m

Recent phases

Time Runner Phase Duration Modules Declarations Dependencies Payload
stable_superset db_checkpoint 9s 1 8,790 81,270 -
stable_superset fragment_encoding 0 ms 1 8,790 81,270 -
stable_superset rust_validation 9s 1 8,790 81,270 -
stable_superset lean_import_env_load 2h 26m - - - -
stable_superset semantic_command 2h 26m 1 - - -
stable_superset lean_import_env_extract_write 2h 26m - - - -
stable_superset runner_cache_lookup 50 ms - - - -
stable_superset runner_cache_key 2s - - - -
stable_superset core_compile 21 ms - - - -
stable_superset semantic_command_started 0 ms 1 - - -
stable_superset runner_materialize 27 ms 1 - - -
stable_superset db_checkpoint 1s 1 3,202 24,068 -
stable_superset fragment_encoding 0 ms 1 3,202 24,068 -
stable_superset rust_validation 1s 1 3,202 24,068 -
stable_superset lean_import_env_load 30m 21s - - - -
stable_superset semantic_command 30m 24s 1 - - -
stable_superset lean_import_env_extract_write 30m 21s - - - -
stable_superset runner_cache_lookup 53 ms - - - -
stable_superset runner_cache_key 3s - - - -
stable_superset core_compile 23 ms - - - -

Workflow timeline

1 workflow
  1. build verification run #430
    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: detached build unit missing during pre-claim reconciliation

      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