Merge pull request 'ci: run the github wait job on its own runner label' (#129) from ci/wait-runner into main

2026-09-30 07:44:00 +00:00
parent 3d5a1692ab 1de77316f0
commit 6d7afc3c06
2 changed files with 6 additions and 2 deletions
@@ -116,7 +116,9 @@ jobs:
  # timeout this fails, which is the cue to unset BUILD_ON.
  github:
    if: ${{ vars.BUILD_ON == 'github' }}
-    runs-on: light
+    # Its own runner label with plenty of slots: this job only polls, but holds a slot
+    # for as long as the GitHub build takes, and must not starve the build runners.
+    runs-on: wait
    timeout-minutes: 150
    container:
      image: python:3.13-slim@sha256:8d9d0b8bcf6506481eae4907c18f5e3e7902e629f5f6d684f9e7c32e85e3ddf0 # 3.13-slim
@@ -178,7 +178,9 @@ jobs:
  # its answer. Fails after the timeout if no answer comes.
  github:
    if: ${{ vars.BUILD_ON == 'github' }}
-    runs-on: light
+    # Its own runner label with plenty of slots: this job only polls, but holds a slot
+    # for as long as the GitHub build takes, and must not starve the build runners.
+    runs-on: wait
    timeout-minutes: 240
    container:
      image: python:3.13-slim@sha256:8d9d0b8bcf6506481eae4907c18f5e3e7902e629f5f6d684f9e7c32e85e3ddf0 # 3.13-slim