ci: run the github wait job on its own runner label #34

Merged
jcoffey-dev merged 1 commits from ci/wait-runner into main 2026-09-30 07:39:03 +00:00
Owner

The github job only polls for GitHub's commit status, but holds a runner slot for the whole GitHub build. On the shared build runners (4 slots) a few long waits could stall real builds, so it moves to the wait label: its own runner, 16 slots, no docker socket, half a CPU and 512 MB per job. That runner is registered and online.

The `github` job only polls for GitHub's commit status, but holds a runner slot for the whole GitHub build. On the shared build runners (4 slots) a few long waits could stall real builds, so it moves to the `wait` label: its own runner, 16 slots, no docker socket, half a CPU and 512 MB per job. That runner is registered and online.
jcoffey-dev added 1 commit 2026-09-30 07:36:16 +00:00
ci: run the github wait job on its own runner label
ci / node (pull_request) Skipped
ci / version (pull_request) Skipped
ci / docker-build (pull_request) Skipped
ci / publish (pull_request) Skipped
github/ci (branch) GitHub Actions
ci / github (pull_request) Successful in 2m38s
ci / announce (pull_request) Skipped
24dccdb47d
The github job only polls Gitea for GitHub's commit status, but it holds a
runner slot for as long as the GitHub build takes -- the better part of an
hour for a cold build. On the shared build runners a handful of those
could take every slot and stall real work, so it now runs on the `wait`
label: a runner of its own, with many slots, no docker socket and a small
CPU and memory cap.
jcoffey-dev merged commit 043fe4ca54 into main 2026-09-30 07:39:03 +00:00
jcoffey-dev deleted branch ci/wait-runner 2026-09-30 07:39:03 +00:00
Sign in to join this conversation.