Verification run
Run 239
failedcommit
93b2f8baee13prover 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.