diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml
index b1c90123aac..b74a8083ddb 100644
--- a/.github/workflows/release-packages.yaml
+++ b/.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 }}