Verification run

Run 445

promachina/iut-lean branch master triggered via poller

failed commit 88eeda703c6b prover unknown took 8h 57m · finished 3w ago

detached build unit apx-build-654 exited before build job reached terminal state (state=inactive/dead/success, exec=0/0)

Open project

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 88eeda703c6be2ac9b5112d29a2ed83576b6e25a 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.