rajames/LithosAnanke
1
1
Fork 0
Code Issues 83 Pull Requests 1 Actions Packages Projects 1 Releases 6 Activity
753 Commits 3 Branches 7 Tags
caad527e261febfae4c4bae0bd250d504258c2aa
Commit Graph
7 Commits
Author SHA1 Message Date
rajames caad527e26 ci: add workflow_dispatch trigger for manual test runs
StarshipOS Build / milkv (push) Failing after 2m10s
Details
StarshipOS Build / pc (push) Failing after 2m16s
Details
StarshipOS Build / pi4 (push) Failing after 2m1s
Details
StarshipOS Build / pi5 (push) Failing after 1m57s
Details
StarshipOS Build / qemu (push) Failing after 1m56s
Details
StarshipOS Build / Isabelle/HOL Proofs (push) Failing after 2m49s
Details
StarshipOS Build / Documentation (push) Failing after 1m55s
Details
2026-11-06 14:05:45 +00:00
rajamesandClaude Sonnet 4.6 02946a5318 ci: add nightly snapshot build (02:00 UTC schedule)
StarshipOS Build / milkv (push) Failing after 31s
Details
StarshipOS Build / pc (push) Failing after 28s
Details
StarshipOS Build / pi4 (push) Failing after 36s
Details
StarshipOS Build / pi5 (push) Failing after 37s
Details
StarshipOS Build / qemu (push) Failing after 25s
Details
StarshipOS Build / Isabelle/HOL Proofs (push) Failing after 33s
Details
StarshipOS Build / Documentation (push) Failing after 25s
Details 
Scheduled runs use -SNAPSHOT version suffix and publish to
starshipos-snapshots Nexus repo instead of starshipos-releases.
Push-to-master releases continue to use -<sha> suffix.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
 2026-11-06 04:28:38 +00:00
rajamesandClaude Sonnet 4.6 a6329fc0c5 ci: add documentation build job
StarshipOS Build / milkv (push) Failing after 35s
Details
StarshipOS Build / pi4 (push) Failing after 36s
Details
StarshipOS Build / pi5 (push) Failing after 38s
Details
StarshipOS Build / qemu (push) Failing after 34s
Details
StarshipOS Build / Documentation (push) Failing after 30s
Details
StarshipOS Build / pc (push) Failing after 30s
Details
StarshipOS Build / Isabelle/HOL Proofs (push) Failing after 35s
Details 
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
StarshipOS Build / milkv (push) Failing after 30s
Details
StarshipOS Build / pc (push) Failing after 28s
Details
StarshipOS Build / pi4 (push) Failing after 29s
Details
StarshipOS Build / pi5 (push) Failing after 24s
Details
StarshipOS Build / qemu (push) Failing after 32s
Details
StarshipOS Build / Isabelle/HOL Proofs (push) Failing after 25s
Details 
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
StarshipOS Build / pi4 (push) Failing after 27s
Details
StarshipOS Build / pi5 (push) Failing after 40s
Details
StarshipOS Build / milkv (push) Failing after 39s
Details
StarshipOS Build / pc (push) Failing after 35s
Details
StarshipOS Build / qemu (push) Failing after 21s
Details 
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