1 changed files with 4 additions and 0 deletions
@@ -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