This website requires JavaScript.
Explore
Help
Sign In
rajames
/
LithosAnanke
Watch
1
Star
1
Fork
0
Code
Issues
42
Pull Requests
Actions
Packages
Projects
Releases
Activity
All Workflows
Acceptance
Build
Nightly documents
Nightly snapshot
Release
Runner image
173 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
site: visitors see the design alone, not XWiki's chrome
Build #175
:
Commit
038556bb3e
pushed by
rajames
StarForth-v4.0.0
2026-11-07 13:56:56 +00:00
0s
View workflow file
site: no Python caches
Build #174
:
Commit
dca3ea56b9
pushed by
rajames
StarForth-v4.0.0
2026-11-07 13:58:16 +00:00
13s
View workflow file
site: the design's colours over the wikis' high-contrast theme; .org inquiries
Build #173
:
Commit
c2ff10015f
pushed by
rajames
StarForth-v4.0.0
2026-11-07 13:58:00 +00:00
0s
View workflow file
site/org: installed; rights before pages; objects as XML
Build #172
:
Commit
7d9dd4e4a9
pushed by
rajames
StarForth-v4.0.0
2026-11-07 13:58:03 +00:00
3m21s
View workflow file
site/com: the .com pages from the design canvas, installed
Build #171
:
Commit
8918951482
pushed by
rajames
StarForth-v4.0.0
2026-11-07 13:54:41 +00:00
23m7s
View workflow file
Merge remote-tracking branch 'origin/master' into StarForth-v4.0.0
Build #170
:
Commit
911b1529cc
pushed by
rajames
StarForth-v4.0.0
2026-11-07 12:38:33 +00:00
22m11s
View workflow file
site/org: the .org pages in the starshipos-f18.com look
Build #169
:
Commit
6f14d8d6bc
pushed by
rajames
StarForth-v4.0.0
2026-11-07 12:16:18 +00:00
22m19s
View workflow file
site/org: the .org wiki's landing page and its two dashboards
Build #168
:
Commit
51dd4a8391
pushed by
rajames
StarForth-v4.0.0
2026-11-07 11:53:58 +00:00
18m8s
View workflow file
ci: the nightly's proofs run last, and cannot hold back the images
Acceptance #167
:
Commit
c27fdc6289
pushed by
rajames
#124
2026-11-07 11:35:49 +00:00
13m29s
View workflow file
pki: the StarshipOS CA, made on the CI box; capsules signed in CI
Build #166
:
Commit
03027f9769
pushed by
rajames
StarForth-v4.0.0
2026-11-07 04:48:50 +00:00
16m1s
View workflow file
ci: HOL-Library built into the runner image
Build #164
:
Commit
4ae1f759d5
pushed by
rajames
StarForth-v4.0.0
2026-11-07 04:12:57 +00:00
16m9s
View workflow file
ci: the nightly's proofs run last, and cannot hold back the images
Build #163
:
Commit
5690d2980b
pushed by
rajames
StarForth-v4.0.0
2026-11-07 03:56:47 +00:00
18m3s
View workflow file
Merge pull request 'ci: run the jobs in the runner image (
#120
)' (
#123
) from StarForth-v4.0.0 into master
Build #161
:
Commit
d936420dfa
pushed by
rajames
StarForth-v4.0.0
2026-11-07 01:47:27 +00:00
16m38s
View workflow file
ci: run the jobs in the runner image (
#120
)
Acceptance #160
:
Commit
fb24d3f482
pushed by
rajames
#123
2026-11-07 01:29:53 +00:00
13m45s
View workflow file
ci: run the jobs in the runner image (
#120
)
Build #159
:
Commit
fb24d3f482
pushed by
rajames
StarForth-v4.0.0
2026-11-07 01:16:07 +00:00
18m27s
View workflow file
ci: faster CI (
#119
,
#120
); the Try-it page in the .com style (
#122
)
Runner image #158
:
Commit
72b6cf370d
pushed by
rajames
master
2026-11-07 00:35:48 +00:00
1m8s
View workflow file
ci: faster CI (
#119
,
#120
); the Try-it page in the .com style (
#122
)
Build #157
:
Commit
72b6cf370d
pushed by
rajames
StarForth-v4.0.0
2026-11-07 00:34:35 +00:00
30m3s
View workflow file
ci: faster CI (
#119
,
#120
); the Try-it page in the .com style (
#122
)
Runner image #156
:
Commit
72b6cf370d
pushed by
rajames
master
2026-11-07 00:04:32 +00:00
42s
View workflow file
ci: faster CI (
#119
,
#120
); the Try-it page in the .com style (
#122
)
Runner image #155
:
Commit
72b6cf370d
pushed by
rajames
master
2026-11-06 23:31:35 +00:00
6m24s
View workflow file
Merge master into StarForth-v4.0.0:
#118
's merge commit, so the next PR is up to date
Acceptance #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:
#118
's merge commit, so the next PR is up to date
Build #153
:
Commit
7be2047aee
pushed by
rajames
StarForth-v4.0.0
2026-11-06 22:32:49 +00:00
24m46s
View workflow file
demo: StarshipOS in a browser -- a throwaway machine per visitor, as Zuse (
#118
)
Build #152
:
Commit
0332a2e11e
pushed by
rajames
master
2026-11-06 22:07:59 +00:00
23m54s
View workflow file
Merge master into StarForth-v4.0.0:
#110
's merge commit, so the demo's PR is up to date
Acceptance #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
Build #150
:
Commit
4f6a267be4
pushed by
rajames
StarForth-v4.0.0
2026-11-06 21:26:45 +00:00
26m28s
View workflow file
Merge master into StarForth-v4.0.0:
#110
's merge commit, so the demo's PR is up to date
Acceptance #149
:
Commit
4f6a267be4
pushed by
rajames
#118
2026-11-06 20:34:30 +00:00
0s
View workflow file
The record of 2026-11-06, and issue and PR templates (
#110
)
Build #148
:
Commit
82804f2770
pushed by
rajames
master
2026-11-06 21:00:12 +00:00
26m32s
View workflow file
Merge master into StarForth-v4.0.0:
#30
's merge commit, so
#110
is up to date
Acceptance #147
:
Commit
810d02ebb3
pushed by
rajames
#110
2026-11-06 20:31:27 +00:00
16m15s
View workflow file
Merge master into StarForth-v4.0.0:
#30
's merge commit, so
#110
is up to date
Build #146
:
Commit
810d02ebb3
pushed by
rajames
StarForth-v4.0.0
2026-11-06 20:15:08 +00:00
24m32s
View workflow file
gitea: issue forms and a PR template, in the project's own form
Acceptance #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
Build #144
:
Commit
c1bc1c8041
pushed by
rajames
StarForth-v4.0.0
2026-11-06 19:50:34 +00:00
24m48s
View workflow file
First
Previous
1
2
3
4
5
...
Next
Last