Login

Verification run

Run 67

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller
failed commit b4a89104dee5 prover unknown took 44m 21s · finished 4w ago

detached build unit apx-build-514 exited before build job reached terminal state (state=deactivating/final-sigterm/success, exec=2/15)

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow
  1. build verification run #67
    failed
    started finished
    1. verify failed
      attempts 1

      detached build unit apx-build-514 exited before build job reached terminal state (state=deactivating/final-sigterm/success, exec=2/15)

      Attempts
      1. failed #1

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