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 3cc4fce34c3733e8ea9d7cbe2e2c3507af457128..d1376754802aa5cc2d9ad3cd2c438df4de524211 100644 (file)
--- 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