Verification run

Run 151

AlexKontorovich/PrimeNumberTheoremAnd branch main triggered via poller

failed commit 6739793850d3 prover unknown took 13m 50s · finished 4d ago

detached build unit apx-build-1142 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)

Open project

Semantic extraction

Modules done -

Remaining 0

Path module cache lookup

Timeout left -

latest phase module_cache_lookup

Recent phases

Time	Runner	Phase	Duration	Modules	Declarations	Dependencies	Payload
4d ago	`exact_batch`	`module_cache_lookup`	5s	192	-	-	-

Workflow timeline

1 workflow

build verification run #151
failed

started 7/11/2026, 7:06:15 PM finished 7/11/2026, 10:31:17 PM
1. verify failed
  
  attempts 1
  
  detached build unit apx-build-1142 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)
  Attempts
  1. failed #1 7/11/2026, 7:06:15 PM 7/11/2026, 10:31:17 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.