ci: the nightly's proofs run last, and cannot hold back the images #124

Merged

rajames merged 1 commits from nightly-proofs-last into master

2026-11-07 11:36:22 +00:00

Author	SHA1	Message	Date
Claude	c27fdc6289	ci: the nightly's proofs run last, and cannot hold back the images Acceptance / Acceptance (pull_request) Successful in 13m29s Details Nightly 174 passed acceptance, then Isabelle was killed building HOL-Library (exit 137, out of memory on the runner), and the images were never built or published. The proofs check the theories, not the images: they now run after the publish, whatever happened before them, and a failure still turns the run red. Their log stays in the run's logs artifact. A release still runs them before it publishes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2	2026-11-07 11:21:59 +00:00

Author

SHA1

Message

Date

Claude

c27fdc6289

ci: the nightly's proofs run last, and cannot hold back the images

Acceptance / Acceptance (pull_request) Successful in 13m29s

Details

Nightly 174 passed acceptance, then Isabelle was killed building HOL-Library
(exit 137, out of memory on the runner), and the images were never built or
published. The proofs check the theories, not the images: they now run after
the publish, whatever happened before them, and a failure still turns the run
red. Their log stays in the run's logs artifact. A release still runs them
before it publishes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2

2026-11-07 11:21:59 +00:00