From 740e83760d645080a5edc6b51457c841ad89cb6a Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Wed, 23 Mar 2022 04:47:33 +0100 Subject: [PATCH] Remove dependency on build (#8367) We automatically update PRs that can be merged automatically in the CI on master. This PR makes it so that this update is done immediately, not only after the CI has run successfully for master. As we only merge to master if CI works, CI failures on master should only be glitches or issues with the CI itself. This allows to merge stuff to master twice as fast when using the auto-merge feature. --- .github/workflows/ci.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3cc4fce34..d13767548 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -138,7 +138,6 @@ jobs: update-pr: runs-on: ubuntu-latest if: github.repository == 'cvc5/cvc5' && github.event_name == 'push' - needs: build steps: - name: Automatically update PR uses: adRise/update-pr-branch@v0.5.1 -- 2.30.2