Login

Verification run

Run 34

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller
failed commit 2a8fd8079ac7 toolchain lean-v4-30-0 prover lean queued 5w ago

deferred after semantic cache checkpoint; PNT cache rows preserved while IUT runs

Open project

Semantic extraction

Modules done 8 / 11
Remaining 3
Path -
Timeout left -
14 succeeded attempts · 6 failed attempts

Module attempts

Batch Status Failure Modules Max duration Latest finish
extract-batch-00001 failed semantic extract failed 2 3m 58s
extract-batch-00000 succeeded none 6 7m 10s
extract-batch-00003 failed semantic extract failed 4 4m 4s
extract-batch-00002 succeeded none 4 8m 48s
extract-batch-00001 succeeded none 4 6m 50s

Workflow timeline

1 workflow
  1. build verification run #34
    failed
    started finished
    1. verify failed
      attempts 5 input 8a0da6f09628output 4965965930d2

      deferred after semantic cache checkpoint; PNT cache rows preserved while IUT runs

      Attempts
      1. failed #1

        recovered: worker restarted with job still claimed

      2. failed #2

        recovered: worker restarted with job still claimed

      3. failed #3

        recovered: worker restarted with job still claimed

      4. failed #4

        lake build failed with exit code 1 (toolchain lean-v4-30-0, command: elan run leanprover/lean4:v4.30.0 -- bash -c export PATH="$(dirname "$(elan which lean)"):$PATH"; exec "$@" apx-lean-phase lake build)

      5. failed #5
    2. persist result succeeded
      attempts 1 input 8a0da6f09628output 4965965930d2
      Attempts
      1. succeeded #1
    3. complete job succeeded
      attempts 2 input 8a0da6f09628output 4965965930d2
      Attempts
      1. succeeded #1
      2. succeeded #2

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