Verification run

Run 9

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller

failed commit 9f6bb66bb5c0 prover unknown took 0s · finished 6w ago

git clone failed with exit code Some(128)

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verification run #9
failed

started 6/4/2026, 2:22:33 PM finished 7/11/2026, 10:31:17 PM
1. verify failed
  
  attempts 1
  
  git clone failed with exit code Some(128)
  Attempts
  1. failed #1 6/4/2026, 2:22:33 PM 7/11/2026, 10:31:17 PM
2. persist result succeeded
  
  attempts 1
  Attempts
  1. succeeded #1 6/4/2026, 2:22:33 PM 6/4/2026, 2:22:33 PM
3. complete job succeeded
  
  attempts 1
  Attempts
  1. succeeded #1 6/4/2026, 2:22:33 PM 6/4/2026, 2:22:33 PM

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.