diff --git a/.gitea/workflows/checks.yml b/.gitea/workflows/checks.yml
index 46abece..e1295f1 100644
--- a/.gitea/workflows/checks.yml
+++ b/.gitea/workflows/checks.yml
@@ -98,6 +98,10 @@ jobs:
           git fetch -q origin "+refs/pull/$PRNUM/head:refs/remotes/origin/pr"
           git merge-base --is-ancestor refs/remotes/origin/base refs/remotes/origin/pr
 
+      - name: P09 hold the single runner slot so the next push has to wait
+        if: always()
+        run: sleep 200
+
       - name: P99 clean up
         if: always()
         run: rm -rf "$WS" || true