Robert A. James (Captain Bob) rajames
0 Followers · 1 Following
  • Joined on 2026-09-01
Repositories
1
 Projects Packages Public Activity Starred Repositories
1
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 14:36:39 +00:00
236839a914 site/brand: the banner says StarshipOS [skip ci]
rajames opened issue rajames/LithosAnanke#125 2026-11-07 14:06:47 +00:00
SEO dashboard for the .com, on the .org (collected outside XWiki)
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 13:55:27 +00:00
bb3246f924 ci: no Build run for a commit that only changes site/ [skip ci]
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 13:51:18 +00:00
038556bb3e site: visitors see the design alone, not XWiki's chrome
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 13:47:50 +00:00
dca3ea56b9 site: no Python caches
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 13:47:43 +00:00
c2ff10015f site: the design's colours over the wikis' high-contrast theme; .org inquiries
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 13:33:00 +00:00
7d9dd4e4a9 site/org: installed; rights before pages; objects as XML
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 13:31:33 +00:00
8918951482 site/com: the .com pages from the design canvas, installed
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 11:36:37 +00:00
911b1529cc Merge remote-tracking branch 'origin/master' into StarForth-v4.0.0
e15d9022cf Merge pull request 'ci: the nightly's proofs run last, and cannot hold back the images' (#124) from nightly-proofs-last into master
c27fdc6289 ci: the nightly's proofs run last, and cannot hold back the images
Compare 3 commits »
rajames deleted branch nightly-proofs-last from rajames/LithosAnanke 2026-11-07 11:36:30 +00:00
rajames pushed to master at rajames/LithosAnanke 2026-11-07 11:36:23 +00:00
e15d9022cf Merge pull request 'ci: the nightly's proofs run last, and cannot hold back the images' (#124) from nightly-proofs-last into master
c27fdc6289 ci: the nightly's proofs run last, and cannot hold back the images
Compare 2 commits »
rajames merged pull request rajames/LithosAnanke#124 2026-11-07 11:36:22 +00:00
ci: the nightly's proofs run last, and cannot hold back the images
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 11:36:12 +00:00
6f14d8d6bc site/org: the .org pages in the starshipos-f18.com look
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 11:29:12 +00:00
51dd4a8391 site/org: the .org wiki's landing page and its two dashboards
rajames created pull request rajames/LithosAnanke#124 2026-11-07 11:22:14 +00:00
ci: the nightly's proofs run last, and cannot hold back the images
rajames pushed to nightly-proofs-last at rajames/LithosAnanke 2026-11-07 11:22:03 +00:00
c27fdc6289 ci: the nightly's proofs run last, and cannot hold back the images
rajames created branch nightly-proofs-last in rajames/LithosAnanke 2026-11-07 11:22:03 +00:00
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 04:15:31 +00:00
03027f9769 pki: the StarshipOS CA, made on the CI box; capsules signed in CI
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 03:41:37 +00:00
4ae1f759d5 ci: HOL-Library built into the runner image
rajames pushed to StarForth-v4.0.0 at rajames/LithosAnanke 2026-11-07 03:38:42 +00:00
5690d2980b ci: the nightly's proofs run last, and cannot hold back the images