All Workflows Acceptance Build Nightly documents Nightly snapshot Release Runner image

9 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

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

#167:Commit c27fdc6289 pushed by rajames

#124

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

13m29s

View workflow file

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

#160:Commit fb24d3f482 pushed by rajames

#123

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

13m45s

View workflow file

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

#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: #110's merge commit, so the demo's PR is up to date

#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

#149:Commit 4f6a267be4 pushed by rajames

#118

2026-11-06 20:34:30 +00:00

0s

View workflow file

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

#147:Commit 810d02ebb3 pushed by rajames

#110

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

16m15s

View workflow file

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

#145:Commit c1bc1c8041 pushed by rajames

#110

2026-11-06 19:07:14 +00:00

0s

View workflow file

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

#143:Commit c1bc1c8041 pushed by rajames

#110

2026-11-06 19:07:01 +00:00

0s

View workflow file

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

#141:Commit 0fd7648a77 pushed by rajames

#30

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

16m48s

View workflow file