Verification run
Run 1206
cancelledcommit
5c48653111f4took 26m · finished 6w agocancelled by apodeixis-ops: restart on deployed release 36cd7f625adbce77fec6b2f469c12276a90c5e14; this attempt was pinned to previous release 6de205a78b204319223a1e840f1f31c4223d2489
Source PRs
Queue build-checked theorem source patches from this job page by selecting a theorem extracted for the current repository commit. If the selected theorem already has a healthy managed source PR, Apodeixis reuses that branch instead of spraying a new one.
No theorem candidates matched commit 5c48653111f44f835827f76e22f4eaf9cf9c1b8f yet. Once theorem extraction publishes rows for this commit, this job page can queue theorem-scoped source PR runs directly.
Publish files
Publishes files from a successful run after project policy checks.