Verification run
Run 236
failedcommit
0b9805a183c0prover unknowntook 0s · finished 14w agoSemantic extraction
No semantic extraction telemetry recorded for this job yet.
Workflow timeline
1 workflow- build verificationfailedstarted finished
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.