5 Commits

Include renames

Author	SHA1	Message	Date
rajamesandClaude Opus 5.5	0fd7648a77	ci: acceptance.yml gates every PR into master; master only through an accepted PR ... Captain Bob, 2026-11-06: what a developer runs, what CI runs and what the nightly runs are one process, and "failures should not be allowed to be merged to master". acceptance.yml runs on every PR into master (opened, pushed to, reopened): .claude/CLAUDE.md's acceptance protocol through the same scripts/nightly.sh stages -- amd64, aarch64, riscv64 to [zuse@Hera] ok>, the PC stick loaded high (and the three agree on dict_hash), then make -C v4 test-32 -- one QEMU at a time, in one job. Its logs and DoE CSVs are kept, pass or fail. master's branch protection requires it. acceptance, nightly and release share the concurrency group qemu, so the runner never runs two of them at once: CLAUDE.md's one-QEMU rule holds in CI too. build.yml becomes the quick check on pushes only. .claude/CLAUDE.md's Hard Rules: commit and push directly on the working branch; master only through a PR that passed acceptance, no direct pushes; no approval required while there is one developer. Named: the Captain Bob method. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2	2026-11-06 16:24:22 +00:00
rajamesandClaude Opus 5.5	6eadd2f56c	ci: build.yml checks every push and PR; every job on Ubuntu 24.04 with Node (closes #18) ... build.yml, as master had it, could not run here: it called Makefile.starkernel and make T=<board> (the tree has kernel/Makefile and TARGET=<board>), listed a Pi 4 with no port, published "releases" under org/f18 on every push, installed Isabelle2024 (the proofs need Isabelle2025-2) from a mirror that answered 503, and duplicated the nightlies with its own 02:00 schedule. Now it is the check on every push to master and StarForth-v4.0.0 and every PR into master: each board's image (make boot_image TARGET=PC|RASPI|MILKV, xz'd, kept with its SBOM) and make -C v4 test, both cell widths. It publishes nothing; the nightlies and release.yml do. Every job of every workflow now names its container, gitea/runner-images:ubuntu-24.04-v26.11.03: the runner maps ubuntu-latest to node:20-bullseye, Debian 11, where every job of PR #30's runs failed at its first apt-get, and which has no qemu-efi-riscv64 and a far older QEMU and compilers than the Ubuntu 24.04 all of this was tested on. Node is needed in the image: actions/checkout and upload-artifact run inside the job's container. The dated tag keeps a run from changing under an image update. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2	2026-11-06 16:22:05 +00:00
rajamesandClaude Opus 5.5	92ca805ecf	Merge master into StarForth-v4.0.0: the branch's build, master's CI files kept ... For PR #30. master's 9 commits since the fork (T= board selection, mk/boards.mk, build.yml, the nightly workflows) conflicted in four files; each is resolved to the branch's version: .gitea/workflows/nightly.yml added on both; master's copy named .gitea/workflows/nightly-docs.yml the branch in its checkout, the branch's builds the default branch Makefile master's T= and mk/boards.mk against kernel/Makefile the branch's TARGET=<board> and boards/; master's edits were to Makefile.starkernel, renamed here The two workflows' header comment now says they build master. Merged cleanly from master: build.yml (its board matrix, Nexus publish and 02:00 nightly; it still calls Makefile.starkernel and make T=<board>, which this tree does not have -- #18) and mk/boards.mk (nothing here includes it). Against the branch the merge changes only those CI files and mk/boards.mk: no kernel, v4 or Makefile source, so the build is the one accepted on 2026-11-06. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2	2026-11-06 16:08:22 +00:00
rajamesandClaude Opus 5.5	a5a29cc857	ci: nightly images, nightly documents and tagged releases, in the tree ... scripts/nightly.sh, one stage per call, a step each in the workflows: accept <amd64|aarch64|riscv64|stick-high> the acceptance protocol -- qemu_session.py zuse, and stick_zuse --target qemu-stick-high; after the last, dict_hash must be equal on the three test-32 make -C v4 test-32 proofs isabelle build -c -D proof/ (StarForth checked afresh each run) images the Pi 5 and Mars images, xz for Raspberry Pi Imager publish org.starship:kernelImage: pc (iso), raspi5, milkv (img.xz), logs (tar.gz: this run's serial logs, proof log, DoE CSVs) docs, publish-docs book, vol1-3, api -> org.starship:documentation .gitea/workflows/nightly.yml (03:00) and nightly-docs.yml (04:00) publish <LITHOS_VERSION>-SNAPSHOT to starshipos-snapshots; release.yml, on a tag v*, builds and publishes both to starshipos-releases at the tag's version, refusing a tag that is not v<LITHOS_VERSION>. Until this branch is merged to master, master carries copies of the two nightlies naming it. make init: INIT_DOCS=0 leaves out TeX and Doxygen, INIT_PROOFS=0 Isabelle. Checked here, stage by stage, in order: the four acceptance boots PASS, dict_hash 0xfec8c47cfc6f437f on the three, test-32 0 failures, StarForth proved (0:00:41), images built; publish to a local file:// repository, and the images' publish to Nexus starshipos-snapshots read back byte for byte. The docs stage and publish-docs: not yet checked when committed. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2	2026-11-06 15:21:58 +00:00
rajamesandClaude Opus 5.5	7f574c54ff	ci: nightly images and nightly documents, from StarForth-v4.0.0, to Nexus ... Gitea runs schedules from the default branch only, so until StarForth-v4.0.0 is merged here, master carries copies of that branch's two nightly workflows, identical to them but for the checkout's ref: nightly.yml 03:00 UTC: the acceptance protocol (zuse amd64, aarch64, riscv64; the PC stick loaded high; dict_hash equal on the three; test-32), the Isabelle/HOL proofs, the board images, then org.starship:kernelImage:<LITHOS_VERSION>-SNAPSHOT -- classifiers pc (iso), raspi5, milkv (img.xz), logs nightly-docs.yml 04:00 UTC: the book, the formal volumes, the API reference -> org.starship:documentation:<LITHOS_VERSION>-SNAPSHOT Both publish to starshipos-snapshots as ci-publisher (secret NEXUS_CI_PASSWORD), and only if every stage before passed. The work is that branch's scripts/nightly.sh. At the merge, take that branch's copies (this ref line goes). build.yml's own 02:00 schedule is untouched. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01GE3SDvQn5EoxdGufk84zz2	2026-11-06 15:21:15 +00:00