All Workflows Acceptance Build Nightly documents Nightly snapshot Release Runner image

28 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

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

Build #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

Build #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

Build #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

Build #168:Commit 51dd4a8391 pushed by rajames

StarForth-v4.0.0

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

18m8s

View workflow file

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

Acceptance #167:Commit c27fdc6289 pushed by rajames

#124

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

13m29s

View workflow file

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

Build #166:Commit 03027f9769 pushed by rajames

StarForth-v4.0.0

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

16m1s

View workflow file

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

Nightly documents #165:Scheduled

master

2026-11-07 04:32:43 +00:00

19m45s

View workflow file

ci: HOL-Library built into the runner image

Build #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

Build #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

Build #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)

Acceptance #160:Commit fb24d3f482 pushed by rajames

#123

2026-11-07 01:29:53 +00:00

13m45s

View workflow file

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

Build #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)

Runner image #158:Commit 72b6cf370d pushed by rajames

master

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

1m8s

View workflow file

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

Build #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

Acceptance #154:Commit 7be2047aee pushed by rajames

#122

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

16m14s

View workflow file

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

Build #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)

Build #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

Acceptance #151:Commit 4f6a267be4 pushed by rajames

#118

2026-11-06 21:42:54 +00:00

16m5s

View workflow file

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

Build #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)

Build #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

Acceptance #147:Commit 810d02ebb3 pushed by rajames

#110

2026-11-06 20:31:27 +00:00

16m15s

View workflow file

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

Build #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

Build #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)

Build #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

Acceptance #141:Commit 0fd7648a77 pushed by rajames

#30

2026-11-06 17:52:58 +00:00

16m48s

View workflow file

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

Build #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)

Build #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)

Build #138:Commit 6eadd2f56c pushed by rajames

StarForth-v4.0.0

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

23m26s

View workflow file