Verification run
Run 241
failedcommit
185f19ab084bprover 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.