All Workflows Acceptance Build Nightly documents Nightly snapshot Release Runner image

3 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 pull request 'release: v4.0.0-alpha.3; the proofs run capped to fit the server' (#132) from StarForth-v4.0.0 into master

#191:Commit 777f739708 pushed by rajames

v4.0.0-alpha.3

2026-11-07 21:34:49 +00:00

41m52s

View workflow file

Merge pull request 'release: v4.0.0-alpha.2; release.yml keeps the image's Isabelle' (#130) from StarForth-v4.0.0 into master

#188:Commit 2d43db252a pushed by rajames

v4.0.0-alpha.2

2026-11-07 19:50:17 +00:00

17m36s

View workflow file

Merge pull request 'ci: the workflows run in the runner image with HOL-Library' (#128) from StarForth-v4.0.0 into master

#184:Commit 233025da88 pushed by rajames

v4.0.0-alpha.1

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

19m2s

View workflow file