diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml
index 3d80ee33507..9257ac71766 100644
--- a/.github/workflows/release-packages.yaml
+++ b/.github/workflows/release-packages.yaml
@@ -118,6 +118,7 @@ jobs:
 
 
   homebrew-pr:
+    if: ${{ false }}  # disable for now
     runs-on: macos-10.15
     steps:
       - name: Get release tag name
@@ -209,6 +210,8 @@ jobs:
 
   push-docker-image-dockerhub:
     runs-on: ubuntu-20.04
+    env:
+      GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
       - name: Checkout CBMC source
         uses: actions/checkout@v2