Verification run

Run 167

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via manual
queued commit 6739793850d3 queued 2d ago

recovered: worker restarted with job still claimed

Open project

This run is still queued. Wait for it to start before rerunning.

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow
  1. build verification run #167
    queued
    started finished in flight
    1. verify pending
      attempts 1

      recovered: worker restarted with job still claimed

      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