LithosAnanke

feat(kernel): the fixed screen -- with a real Zuse, the system stick alone can only mint a replacement; the old stick dies (#92 , Task 5)

#219:Commit 836b4423e1 pushed by rajames

#160

2026-11-10 09:03:19 +00:00

19m56s

Merge master into StarForth-v4.0.0: bring in #154 's merge commit, so #159 is up to date with its base

#212:Commit 411193166c pushed by rajames

#159

2026-11-08 17:51:54 +00:00

20m15s

docs(readme): v4.0.0-alpha.3, Try it, the plug-and-play stick, the acceptance gate

#211:Commit 186680724e pushed by rajames

#159

2026-11-08 17:02:22 +00:00

19m46s

docs(readme): v4.0.0-alpha.3, Try it, the plug-and-play stick, the acceptance gate

#210:Commit 186680724e pushed by rajames

#159

2026-11-08 16:06:34 +00:00

17m55s

fix(blocks): a BAM flush reads and writes only the pages that hold the volume's bits (#155 )

#208:Commit 929f0e13c5 pushed by rajames

#159

2026-11-08 15:48:38 +00:00

18m32s

acceptance: run the gate on this branch's head before the PR into master

#201:Commit 8f1ba02b3c pushed by rajames

#154

2026-11-08 03:13:27 +00:00

18m12s

kernel: v4 waits for a key in arch_halt(), not a spin (#151 )

#199:Commit 1928d53b6b pushed by rajames

#153

2026-11-08 01:58:24 +00:00

15m15s

FABRIC-3 XLVIII: the review, the protocol, the SDK, the demo's limits

#197:Commit 1e3f211daa pushed by rajames

#148

2026-11-07 23:43:15 +00:00

16m20s

demo: two guests of 384 MiB, and a busy message for the rest (#116 )

#195:Commit 171b3947dd pushed by rajames

#148

2026-11-07 23:19:32 +00:00

0s

acceptance: a failed check prints the serial log where it looked (#136 )

#193:Commit 1d4898496f pushed by rajames

#148

2026-11-07 23:26:52 +00:00

18m44s

release v4.0.0-alpha.3: accepted in full, logs

#190:Commit b8951bc26b pushed by rajames

#132

2026-11-07 20:52:33 +00:00

15m37s

logs: three riscv64 boots of v4.0.0-alpha.2, looking for run 197's failure

#187:Commit 37f62d688b pushed by rajames

#130

2026-11-07 19:31:44 +00:00

16m36s

release v4.0.0-alpha.2: start #130 's acceptance check

#185:Commit cabe974872 pushed by rajames

#130

2026-11-07 19:07:43 +00:00

8m7s

ci: the workflows run in lithosananke-runner:4f675c8b75b2, with HOL-Library

#183:Commit 3c21a20f1a pushed by rajames

#128

2026-11-07 18:16:47 +00:00

12m30s

ci: one concurrency group for every workflow; a runner-image rebuild blocks the rest

#180:Commit da020a430d pushed by rajames

#127

2026-11-07 17:44:51 +00:00

13m6s

ci: the runner image fetches HOL-Library, prebuilt, instead of building it

#178:Commit 2580a40e1d pushed by rajames

#127

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

0s

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

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

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

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

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

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

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

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

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