From: Gereon Kremer Date: Wed, 23 Mar 2022 03:47:33 +0000 (+0100) Subject: Remove dependency on build (#8367) X-Git-Tag: cvc5-1.0.0~200 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=740e83760d645080a5edc6b51457c841ad89cb6a;p=cvc5.git 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. --- 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