5 Commits

Include renames

Author	SHA1	Message	Date
rajamesandClaude Sonnet 4.6	a6329fc0c5	ci: add documentation build job ... Runs api-docs (Doxygen → AsciiDoc), docs-latex (AsciiDoc → LaTeX via asciidoctor), and math-companion (LaTeX → PDF) in a dedicated job parallel to builds and Isabelle verification. Installs doxygen, Ruby + asciidoctor-latex gem, and texlive. Uploads docs as a Gitea artifact on every run regardless of pass/fail. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-11-06 04:20:59 +00:00
rajamesandClaude Sonnet 4.6	08daef9971	ci: add Isabelle/HOL proof verification job ... Runs StarForth session (52 theories) in parallel with the board build matrix. Caches the Isabelle2024 installation (~800MB) and the compiled heaps keyed on proof/**/*.thy + ROOT, so only theory changes trigger a full rebuild. Uploads the build log as an artifact on every run (pass or fail) for audit. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-11-06 04:20:00 +00:00
rajamesandClaude Sonnet 4.6	b191ace026	ci: board-matrix build pipeline with Nexus Maven publish ... Builds all boards (qemu, pc, pi4, pi5, milkv) in parallel. Installs cross-compilers (aarch64-linux-gnu, riscv64-linux-gnu) and clang-18 for the aarch64 loader. Packs ISO (amd64/aarch64) and GPT image (riscv64). On master push, publishes to Nexus starshipos-releases using Maven coordinates org.f18:kernel:<version>-<sha>:<board> and org.f18:starforth:<version>-<sha>:<board>. CROSS_COMPILE wired into StarForth Makefile via mk/boards.mk so make T=pi4 picks up aarch64-linux-gnu-gcc automatically. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-11-06 04:17:12 +00:00
rajames	db8a3e0fd9	ci: use upload-artifact@v3 (v4 protocol unsupported on this Gitea version)	2026-08-01 12:19:13 -04:00
rajames	2cafd02e29	ci: add Gitea Actions build workflow (amd64/aarch64 ISO, riscv64 disk image)	2026-08-01 12:11:41 -04:00