Files
pi-devbox/.gitea/workflows
joakimp e0611c787f
Lint / skill-floor (push) Successful in 11s
Lint / hadolint (push) Successful in 12s
Lint / doc-drift (push) Successful in 13s
Lint / actionlint (push) Successful in 32s
ci docs: the shared daemon is per runner (runner-a1 runs several jobs at once)
Task logs of run 740: runner-a1 received task 2721 (smoke-studio) at
22:53:02Z and task 2722 (build-variant) at 22:58:38Z while 2721 was still
running. Other runners (runner-1/2/3) have capacity 1. 12e66aa said all
jobs share one daemon; corrected in CHANGELOG, AGENTS.md, the script
header and the lint.yml comment. No behaviour change.
2026-10-23 11:43:48 +02:00
..