Merge pull request #5468 from hannes-steffenhagen-diffblue/CD/create-homebrew-pr-on-release

Add github action to create PR against homebrew-core on release

Author: hannes-steffenhagen-diffblue

.github/workflows/release-packages.yaml

@@ -43,3 +43,16 @@ jobs:
           asset_path: ${{ steps.create_packages.outputs.deb_package }}
           asset_name: ${{ steps.create_packages.outputs.deb_package_name }}
           asset_content_type: application/x-deb
+
+  homebrew-pr:
+    runs-on: macos-10.15
+    steps:
+      - name: Get release tag name
+        # The GITHUB_REF we get has refs/tags/ in front of the tag name so we
+        # strip that here
+        run: echo "::set-env name=RELEASE_TAG::${GITHUB_REF/refs\/tags\/}"
+      - name: Create homebrew PR
+        run: |
+          brew bump-formula-pr --tag "$RELEASE_TAG" --revision "$GITHUB_SHA" cbmc
+        env:
+          HOMEBREW_GITHUB_API_TOKEN: ${{ secrets.DB_CI_CPROVER_ACCESS_TOKEN }}