Verification run
Run 242
failedcommit
7c65e7cd6a16prover 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.