rajames/LithosAnanke
1
1
Fork 0
Code Issues 61 Pull Requests Actions Packages Projects Releases 5 Activity
Labels Milestones New Pull Request
0 Open 17 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
DoE per release
Public demo terminal
Retire v3
The x86_64 stick
v4.0.0
v4.0.0-alpha.4
v4.0.0-alpha.5: SDK
Closed milestones
v2.0.0
Fleet, identity and the DoE
v2.1.0
Phase 8 PKI
Projects
Clear projects
Open Projects
StarshipOS / LithosAnanke Kanban
Assignee
Clear assignees
rajames
#159
by rajames was merged 2026-11-08 17:51:56 +00:00
master
StarForth-v4.0.0
3 / 5
Release machinery for Downloads, the root CA, demo and site updates (#126)
Acceptance / Acceptance (pull_request) Successful in 18m12s
Details
#154
by rajames was merged 2026-11-08 03:20:43 +00:00
master
StarForth-v4.0.0
0 / 2
kernel: v4 waits for a key in arch_halt(), not a spin (#151); Try it deployed
Build / Image RASPI (push) Successful in 3m9s
Details
Build / Image PC (push) Successful in 4m27s
Details
Build / Image MILKV (push) Successful in 3m18s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 10m27s
Details
Acceptance / Acceptance (pull_request) Successful in 15m15s
Details
#153
by rajames was merged 2026-11-08 01:59:30 +00:00
master
StarForth-v4.0.0
v4.0.0-alpha.4 3 / 5
acceptance prints the serial log of a failed check (#136); the demo limits its guests (#116)
Build / Image RASPI (push) Canceled after 0s
Details
Build / Image PC (push) Canceled after 0s
Details
Build / Image MILKV (push) Canceled after 0s
Details
Build / v4 tests (32- and 64-bit cells) (push) Canceled after 0s
Details
Acceptance / Acceptance (pull_request) Successful in 16m20s
Details
#148
by rajames was merged 2026-11-08 00:07:46 +00:00
master
StarForth-v4.0.0
v4.0.0-alpha.4 2 / 5
release: v4.0.0-alpha.3; the proofs run capped to fit the server
Build / Image PC (push) Successful in 3m56s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 10m7s
Details
Build / Image MILKV (push) Successful in 8m45s
Details
Acceptance / Acceptance (pull_request) Successful in 15m37s
Details
Build / Image RASPI (push) Successful in 4m11s
Details
#132
by rajames was merged 2026-11-07 20:52:53 +00:00
master
StarForth-v4.0.0
4 / 5
release: v4.0.0-alpha.2; release.yml keeps the image's Isabelle
Build / Image MILKV (push) Canceled after 0s
Details
Acceptance / Acceptance (pull_request) Successful in 16m36s
Details
Build / Image RASPI (push) Canceled after 0s
Details
Build / v4 tests (32- and 64-bit cells) (push) Canceled after 0s
Details
Build / Image PC (push) Canceled after 0s
Details
#130
by rajames was merged 2026-11-07 19:32:31 +00:00
master
StarForth-v4.0.0
4 / 5
ci: the workflows run in the runner image with HOL-Library
Build / Image RASPI (push) Successful in 2m28s
Details
Build / Image PC (push) Successful in 2m56s
Details
Build / Image MILKV (push) Successful in 2m34s
Details
Build / v4 tests (32- and 64-bit cells) (push) Successful in 8m52s
Details
Acceptance / Acceptance (pull_request) Successful in 12m30s
Details
#128
by rajames was merged 2026-11-07 18:17:53 +00:00
master
StarForth-v4.0.0
1 / 5
LithosAnanke v4.0.0-alpha.1: the first alpha release
Build / v4 tests (32- and 64-bit cells) (push) Canceled after 0s
Details
Build / Image RASPI (push) Canceled after 0s
Details
Build / Image PC (push) Canceled after 0s
Details
Build / Image MILKV (push) Canceled after 0s
Details
Acceptance / Acceptance (pull_request) Successful in 13m6s
Details
#127
by rajames was merged 2026-11-07 17:46:02 +00:00
master
StarForth-v4.0.0
4 / 5
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