Merge pull request #5513 from bayandin/patch-1

Update brew before creating formula update PR

Author: hannes-steffenhagen-diffblue

.github/workflows/release-packages.yaml

@@ -53,6 +53,7 @@ jobs:
         run: echo "::set-env name=RELEASE_TAG::${GITHUB_REF/refs\/tags\/}"
       - name: Create homebrew PR
         run: |
+          brew update-reset
           brew bump-formula-pr --tag "$RELEASE_TAG" --revision "$GITHUB_SHA" cbmc
         env:
           HOMEBREW_GITHUB_API_TOKEN: ${{ secrets.DB_CI_CPROVER_ACCESS_TOKEN }}