rajames 751bfe2675 ci: record runner.capacity: 1 decision in build.yml (FABRIC-3, #140)

2026-11-11 21:34:30 +00:00

..

acceptance.yml

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

2026-11-07 17:47:12 +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

release: the PC stick image, and a Gitea release anyone can download from (#126)

2026-11-08 02:32:03 +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: one concurrency group for every workflow; a runner-image rebuild blocks the rest

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