Verification run

Run 55

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via github_backfill

succeeded commit 5fee80352902 toolchain lean-v4-30-0 prover lean took 19m 35s · finished 4w ago

Open project

Semantic extraction

Modules done 1 / 1

Remaining 0

Path -

Timeout left -

1 succeeded attempts · 0 failed attempts

Module attempts

Batch	Status	Failure	Modules	Max duration	Latest finish
`extract-batch-00000`	succeeded	none	1	8m 11s	4w ago

Workflow timeline

1 workflow

build verification run #55
succeeded

started 6/16/2026, 8:59:59 AM finished 6/16/2026, 9:19:33 AM
1. verify succeeded
  
  attempts 1 input 744dc48c574aoutput 5b9e5e9b794b
  Attempts
  1. succeeded #1 6/16/2026, 8:59:59 AM 6/16/2026, 9:19:33 AM
2. persist result succeeded
  
  attempts 1 input 744dc48c574aoutput 5b9e5e9b794b
  Attempts
  1. succeeded #1 6/16/2026, 9:19:33 AM 6/16/2026, 9:19:33 AM
3. complete job succeeded
  
  attempts 1 input 744dc48c574aoutput 5b9e5e9b794b
  Attempts
  1. succeeded #1 6/16/2026, 9:19:33 AM 6/16/2026, 9:19:33 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.