All Workflows Acceptance Build Nightly documents Nightly snapshot Release Runner image

20 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

site/com: the .com pages from the design canvas, installed

#171:Commit 8918951482 pushed by rajames

StarForth-v4.0.0

2026-11-07 13:54:41 +00:00

23m7s

View workflow file

Merge remote-tracking branch 'origin/master' into StarForth-v4.0.0

#170:Commit 911b1529cc pushed by rajames

StarForth-v4.0.0

2026-11-07 12:38:33 +00:00

22m11s

View workflow file

site/org: the .org pages in the starshipos-f18.com look

#169:Commit 6f14d8d6bc pushed by rajames

StarForth-v4.0.0

2026-11-07 12:16:18 +00:00

22m19s

View workflow file

site/org: the .org wiki's landing page and its two dashboards

#168:Commit 51dd4a8391 pushed by rajames

StarForth-v4.0.0

2026-11-07 11:53:58 +00:00

18m8s

View workflow file

pki: the StarshipOS CA, made on the CI box; capsules signed in CI

#166:Commit 03027f9769 pushed by rajames

StarForth-v4.0.0

2026-11-07 04:48:50 +00:00

16m1s

View workflow file

ci: HOL-Library built into the runner image

#164:Commit 4ae1f759d5 pushed by rajames

StarForth-v4.0.0

2026-11-07 04:12:57 +00:00

16m9s

View workflow file

ci: the nightly's proofs run last, and cannot hold back the images

#163:Commit 5690d2980b pushed by rajames

StarForth-v4.0.0

2026-11-07 03:56:47 +00:00

18m3s

View workflow file

Merge pull request 'ci: run the jobs in the runner image (#120)' (#123) from StarForth-v4.0.0 into master

#161:Commit d936420dfa pushed by rajames

StarForth-v4.0.0

2026-11-07 01:47:27 +00:00

16m38s

View workflow file

ci: run the jobs in the runner image (#120)

#159:Commit fb24d3f482 pushed by rajames

StarForth-v4.0.0

2026-11-07 01:16:07 +00:00

18m27s

View workflow file

ci: faster CI (#119, #120); the Try-it page in the .com style (#122)

#157:Commit 72b6cf370d pushed by rajames

StarForth-v4.0.0

2026-11-07 00:34:35 +00:00

30m3s

View workflow file

Merge master into StarForth-v4.0.0: #118's merge commit, so the next PR is up to date

#153:Commit 7be2047aee pushed by rajames

StarForth-v4.0.0

2026-11-06 22:32:49 +00:00

24m46s

View workflow file

demo: StarshipOS in a browser -- a throwaway machine per visitor, as Zuse (#118)

#152:Commit 0332a2e11e pushed by rajames

master

2026-11-06 22:07:59 +00:00

23m54s

View workflow file

Merge master into StarForth-v4.0.0: #110's merge commit, so the demo's PR is up to date

#150:Commit 4f6a267be4 pushed by rajames

StarForth-v4.0.0

2026-11-06 21:26:45 +00:00

26m28s

View workflow file

The record of 2026-11-06, and issue and PR templates (#110)

#148:Commit 82804f2770 pushed by rajames

master

2026-11-06 21:00:12 +00:00

26m32s

View workflow file

Merge master into StarForth-v4.0.0: #30's merge commit, so #110 is up to date

#146:Commit 810d02ebb3 pushed by rajames

StarForth-v4.0.0

2026-11-06 20:15:08 +00:00

24m32s

View workflow file

gitea: issue forms and a PR template, in the project's own form

#144:Commit c1bc1c8041 pushed by rajames

StarForth-v4.0.0

2026-11-06 19:50:34 +00:00

24m48s

View workflow file

Merge StarForth-v4.0.0 into master (#30)

#142:Commit c809de7393 pushed by rajames

master

2026-11-06 19:25:40 +00:00

27m34s

View workflow file

ci: acceptance.yml gates every PR into master; master only through an accepted PR

#140:Commit 0fd7648a77 pushed by rajames

StarForth-v4.0.0

2026-11-06 17:36:06 +00:00

24m25s

View workflow file

ci: build.yml checks every push and PR; every job on Ubuntu 24.04 with Node (closes #18)

#139:Commit 6eadd2f56c pushed by rajames

#30

2026-11-06 17:11:40 +00:00

26m2s

View workflow file

ci: build.yml checks every push and PR; every job on Ubuntu 24.04 with Node (closes #18)

#138:Commit 6eadd2f56c pushed by rajames

StarForth-v4.0.0

2026-11-06 16:45:36 +00:00

23m26s

View workflow file