All Workflows Acceptance Build Nightly documents Nightly snapshot Release Runner image

10 workflow runs

Actor

All actors rajames

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches claude/starshipos-tripod-kernel-reshuffle-itbjns master StarForth-v4.0.0

Create status badge

Merge master into StarForth-v4.0.0: the branch's build, master's CI files kept

#137:Commit 92ca805ecf pushed by rajames

#30

2026-11-06 16:14:37 +00:00

5m5s

View workflow file

ci: nightly images and nightly documents, from StarForth-v4.0.0, to Nexus

#136:Commit 7f574c54ff pushed by rajames

master

2026-11-06 15:40:37 +00:00

17m59s

View workflow file

ci: add workflow_dispatch trigger for manual test runs

#135:Commit caad527e26 pushed by rajames

master

2026-11-06 14:20:58 +00:00

15m9s

View workflow file

ci: add nightly snapshot build (02:00 UTC schedule)

#134:Commit 02946a5318 pushed by rajames

master

2026-11-06 04:32:19 +00:00

3m35s

View workflow file

ci: add documentation build job

#133:Commit a6329fc0c5 pushed by rajames

master

2026-11-06 04:26:50 +00:00

3m58s

View workflow file

ci: add Isabelle/HOL proof verification job

#132:Commit 08daef9971 pushed by rajames

master

2026-11-06 04:22:52 +00:00

2m49s

View workflow file

ci: board-matrix build pipeline with Nexus Maven publish

#131:Commit b191ace026 pushed by rajames

master

2026-11-06 04:19:57 +00:00

2m43s

View workflow file

build: introduce mk/boards.mk board target table, T= selects board

#130:Commit 0820ee7d32 pushed by rajames

master

2026-11-06 04:11:49 +00:00

1m40s

View workflow file

build: T= aliases ARCH= (board/SBC selection), lock StarForth to fastest

#129:Commit 81caf71511 pushed by rajames

master

2026-11-06 03:44:47 +00:00

1m28s

View workflow file

build: add T= shorthand alias for TARGET= in both Makefiles

#128:Commit 2ae0cc2d42 pushed by rajames

master

2026-11-06 03:42:29 +00:00

1m42s

View workflow file