Verification run

Run 7

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller

failed commit 80c12dfd932e prover unknown took 45m 18s · finished 6w ago

clean-reset before deploy

Open project

Semantic extraction

No semantic extraction telemetry recorded for this job yet.

Workflow timeline

1 workflow

build verification run #7
failed

started 6/3/2026, 9:26:51 PM finished 7/11/2026, 10:31:17 PM
1. verify failed
  
  attempts 3
  
  clean-reset before deploy
  Attempts
  1. failed #1 6/3/2026, 9:26:51 PM 6/3/2026, 9:48:05 PM
    
    recovered: worker restarted with job still claimed
  2. failed #2 6/3/2026, 9:48:06 PM 6/3/2026, 9:52:28 PM
    
    recovered: worker restarted with job still claimed
  3. failed #3 6/4/2026, 1:20:14 AM 7/11/2026, 10:31:17 PM
2. complete job succeeded
  
  attempts 1
  Attempts
  1. succeeded #1 6/4/2026, 3:24:09 AM 6/4/2026, 3:24:09 AM

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.