All Workflows Acceptance Build Nightly documents Nightly snapshot Release Runner image

161 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: visitors see the design alone, not XWiki's chrome

#175:Commit 038556bb3e pushed by rajames

StarForth-v4.0.0

2026-11-07 13:56:56 +00:00

0s

View workflow file

site: no Python caches

#174:Commit dca3ea56b9 pushed by rajames

StarForth-v4.0.0

2026-11-07 13:58:16 +00:00

13s

View workflow file

site: the design's colours over the wikis' high-contrast theme; .org inquiries

#173:Commit c2ff10015f pushed by rajames

StarForth-v4.0.0

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

0s

View workflow file

site/org: installed; rights before pages; objects as XML

#172:Commit 7d9dd4e4a9 pushed by rajames

StarForth-v4.0.0

2026-11-07 13:58:03 +00:00

3m21s

View workflow file

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

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