LithosAnanke

Author	SHA1	Message	Date
Claude	911b1529cc	Merge remote-tracking branch 'origin/master' into StarForth-v4.0.0 Build / Image RASPI (push) Successful in 5m30s Details Build / Image PC (push) Successful in 3m44s Details Build / Image MILKV (push) Successful in 2m59s Details Build / v4 tests (32- and 64-bit cells) (push) Successful in 9m50s Details	2026-11-07 11:36:29 +00:00
rajames	e15d9022cf	Merge pull request 'ci: the nightly's proofs run last, and cannot hold back the images' (#124 ) from nightly-proofs-last into master	2026-11-07 11:36:22 +00:00
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

Compare commits