rajames/LithosAnanke
1
1
Fork 0
Code Issues 42 Pull Requests Actions Packages Projects Releases Activity
Labels Milestones New Pull Request
0 Open 9 Closed
Label
Clear labels
area/capsules
area/docs
area/kernel
area/proofs
area/v3
area/v4
board/milkv
board/pc
board/raspi4
board/raspi5
board/zynq7020
kind
bug
kind
chore
kind
ci
kind
docs
kind
feature
priority
must
priority
nice
priority
should
status
backlog
status
blocked
status
in-progress
status
needs-acceptance
status
rejected
Milestone
No milestone
Open milestones
Board bring-up
CI and the gate
Public demo terminal
The x86_64 stick
v4.0.0
Closed milestones
v2.0.0
Fleet, identity and the DoE
v2.1.0
Phase 8 PKI
Projects
Clear projects
Assignee
Clear assignees
rajames
ci: the nightly's proofs run last, and cannot hold back the images
Acceptance / Acceptance (pull_request) Successful in 13m29s
Details
#124
by rajames was merged 2026-11-07 11:36:22 +00:00
master
nightly-proofs-last
1 / 5
ci: run the jobs in the runner image (#120)
Build / Image RASPI (push) Successful in 2m45s
Details
Build / Image PC (push) Successful in 3m53s
Details
Build / Image MILKV (push) Successful in 2m26s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 9m20s
Details
Acceptance / Acceptance (pull_request) Successful in 13m45s
Details
#123
by rajames was merged 2026-11-07 01:30:34 +00:00
master
StarForth-v4.0.0
2 / 5
ci: faster CI (#119, #120); the Try-it page in the .com style
Build / Image RASPI (push) Successful in 4m24s
Details
Build / Image PC (push) Successful in 4m28s
Details
Build / Image MILKV (push) Successful in 4m28s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 11m23s
Details
Acceptance / Acceptance (pull_request) Successful in 16m14s
Details
#122
by rajames was merged 2026-11-06 23:25:09 +00:00
master
StarForth-v4.0.0
1 / 3
demo: StarshipOS in a browser -- a throwaway machine per visitor, as Zuse
Build / Image RASPI (push) Successful in 4m57s
Details
Build / Image PC (push) Successful in 4m43s
Details
Build / Image MILKV (push) Successful in 4m28s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 12m15s
Details
Acceptance / Acceptance (pull_request) Successful in 16m5s
Details
#118
by rajames was merged 2026-11-06 21:44:02 +00:00
master
StarForth-v4.0.0
3 / 6
The record of 2026-11-06, and issue and PR templates
Build / Image RASPI (push) Successful in 4m13s
Details
Build / Image PC (push) Successful in 4m38s
Details
Build / Image MILKV (push) Successful in 4m50s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 10m43s
Details
Acceptance / Acceptance (pull_request) Successful in 16m15s
Details
#110
by rajames was merged 2026-11-06 20:33:36 +00:00
master
StarForth-v4.0.0
3 / 3
Merge StarForth-v4.0.0 into master
Build / Image RASPI (push) Successful in 4m19s
Details
Build / Image PC (push) Successful in 4m14s
Details
Build / Image MILKV (push) Successful in 4m30s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 11m19s
Details
Acceptance / Acceptance (pull_request) Successful in 16m48s
Details
#30
by rajames was merged 2026-11-06 18:58:00 +00:00
master
StarForth-v4.0.0
#3
by rajames was closed 2026-10-07 17:53:28 +00:00
master
StarForth-v4.0.0
#2
by rajames was merged 2026-09-29 05:22:50 +00:00
master
claude/wizardly-tesla-36lqlt
#1
by rajames was closed 2026-09-18 21:28:26 +00:00
master
claude/starshipos-tripod-kernel-reshuffle-itbjns