This website requires JavaScript.
Explore
Help
Sign In
rajames
/
LithosAnanke
Watch
1
Star
1
Fork
0
Code
Issues
74
Pull Requests
1
Actions
1
Packages
Projects
1
Releases
6
Activity
Files
265d65b5f85636e2068051c312d5ae2d85cf892d
LithosAnanke
/
.gitea
/
workflows
T
History
rajames
265d65b5f8
ci: record runner.capacity: 1 decision in acceptance.yml (FABRIC-3,
#140
)
2026-11-11 21:35:21 +00:00
..
acceptance.yml
ci: record runner.capacity: 1 decision in acceptance.yml (FABRIC-3,
#140
)
2026-11-11 21:35:21 +00:00
build.yml
ci: record runner.capacity: 1 decision in build.yml (FABRIC-3,
#140
)
2026-11-11 21:34:30 +00:00
nightly-docs.yml
ci: the workflows run in lithosananke-runner:4f675c8b75b2, with HOL-Library
2026-11-07 17:47:12 +00:00
nightly.yml
ci: record runner.capacity: 1 decision in nightly.yml (FABRIC-3,
#140
)
2026-11-11 21:35:09 +00:00
release.yml
release: the PC stick image, and a Gitea release anyone can download from (
#126
)
2026-11-08 02:32:03 +00:00
runner-image.yml
ci: record runner.capacity: 1 decision in runner-image.yml (FABRIC-3,
#140
)
2026-11-11 21:35:15 +00:00