Verification run
Run 238
failedcommit
880da72b3177prover 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.