diff --git a/.gitea/workflows/checks.yml b/.gitea/workflows/checks.yml index e1295f1..46abece 100644 --- a/.gitea/workflows/checks.yml +++ b/.gitea/workflows/checks.yml @@ -98,10 +98,6 @@ 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