Logo
Explore Help
Sign In
rajames/LithosAnanke
Watch 1
Star 1
Fork 0
Code Issues 42 Pull Requests Actions Packages Projects Releases Activity
Labels Milestones New Issue
42 Open 74 Closed
Label
Use alt + click/enter to exclude labels
All labels No label
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
All milestones No milestones
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
Project
All projects No project
Author
All users
Assignee
Assigned to nobody Assigned to anybody
rajames (Robert A. James (Captain Bob))
Sort
Newest Oldest Most recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
42 Open 74 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
SEO dashboard for the .com, on the .org (collected outside XWiki)
kind
feature
priority
nice
status
backlog
#125
opened 2026-11-07 14:06:47 +00:00 by rajames
0 / 4
CI: let the runner take two jobs at a time
kind
ci
priority
nice
status
backlog
#121
opened 2026-11-06 20:42:31 +00:00 by rajames
CI and the gate 0 / 2
CI: a runner image with the build's tools already installed
kind
ci
priority
should
status
in-progress
#120
by rajames was closed 2026-11-07 01:30:54 +00:00
CI and the gate 4 / 4
1
CI: no quick check on master after a merge
kind
ci
priority
should
status
in-progress
#119
by rajames was closed 2026-11-06 23:25:09 +00:00
CI and the gate 0 / 2
Demo: the XWiki "Try it" page, with the console embedded
kind
docs
priority
nice
status
in-progress
#117
opened 2026-11-06 19:21:57 +00:00 by rajames
Public demo terminal
1
Demo: capacity -- how many visitors at once
kind
feature
priority
should
status
backlog
#116
opened 2026-11-06 19:21:56 +00:00 by rajames
Public demo terminal 0 / 2
Demo: Apache on the .com -- TLS and the websocket proxy
kind
feature
priority
should
status
backlog
#115
opened 2026-11-06 19:21:56 +00:00 by rajames
Public demo terminal 0 / 2
1
Demo: the web terminal (ttyd) as a service board/pc
kind
feature
priority
should
#114
by rajames was closed 2026-11-06 21:44:39 +00:00
Public demo terminal 0 / 3
2
Demo: instant start -- sessions resume from a saved, booted machine board/pc
kind
feature
priority
should
#113
by rajames was closed 2026-11-06 21:44:39 +00:00
Public demo terminal 0 / 4
2
Demo: the session launcher -- one throwaway QEMU per visitor board/pc
kind
feature
priority
should
#112
by rajames was closed 2026-11-06 21:44:02 +00:00
Public demo terminal 0 / 4
1
[ruling] The public demo's console: a demo identity, or an emergency-console build?
#111
by rajames was closed 2026-11-06 19:41:42 +00:00
Public demo terminal
1
Revoke the access token claude-session-20261106
kind
chore
priority
should
status
backlog
#109
opened 2026-11-06 19:06:20 +00:00 by rajames
CI and the gate
Gitea issue forms and a PR template in the project's own form
kind
chore
priority
should
status
in-progress
#108
by rajames was closed 2026-11-06 20:33:36 +00:00
CI and the gate
One repository: StarForth archived as a tag and deleted; this one renamed LithosAnanke
kind
chore
#107
by rajames was closed 2026-11-06 19:06:17 +00:00
CI and the gate
The acceptance gate on master
kind
ci
#106
by rajames was closed 2026-11-06 19:06:16 +00:00
CI and the gate
CI on the runner: every job failed -- ubuntu-latest is Debian 11
kind
bug
#105
by rajames was closed 2026-11-06 19:06:13 +00:00
CI and the gate
The nightly snapshot and the release, to Nexus
kind
ci
#104
by rajames was closed 2026-11-06 19:06:12 +00:00
CI and the gate
make -C docs/formal doxygen fails: newunicodechar, ASCII character requested area/docs
kind
bug
#103
by rajames was closed 2026-11-06 19:06:10 +00:00
CI and the gate
make init: install the toolchain, syft and Isabelle2025-2
kind
ci
#102
by rajames was closed 2026-11-06 19:06:08 +00:00
CI and the gate
1,003 logs and DoE CSVs committed as plain files, outside LFS
kind
chore
#101
by rajames was closed 2026-11-06 19:06:07 +00:00
CI and the gate
First Previous 1 2 3 4 5 ... Next Last
Powered by Gitea Version: 1.27.3 Page: 1869ms Template: 35ms
Auto
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API