Merge pull request #5747 from NlightNFotis/dockerhub_push_fix_1

First set of fixes to Dockerhub push action.

Author: NlightNFotis

.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