Merge pull request #5749 from NlightNFotis/dockerhub_push_fix_2

Dockerhub image push second set of fixes.

Author: NlightNFotis

.github/workflows/release-packages.yaml

@@ -221,10 +221,14 @@ jobs:
         id: get_release_info
         uses: bruceadams/get-release@v1.2.0
       - name: Set Image Tag
-        run: echo "IMAGE_TAG=diffblue/cbmc:${{ steps.get_release_info.outputs.tag_name }}" >> $GITHUB_ENV
+        run: |
+          echo ${{  steps.get_release_info.outputs.tag_name }}
+          VERSION = ${{ steps.get_release_info.outputs.tag_name }}
+          arrVERSION=(${VERSION//-/ })
+          echo "IMAGE_TAG=diffblue/cbmc:${arrVERSION[1]}" >> $GITHUB_ENV
       - name: Build docker image
-        run: docker build -t $IMAGE_TAG .
+        run: docker build -t "$IMAGE_TAG" .
       - name: Push docker image to DockerHub
         run: |
           docker login --username=dbcicprover --password=${{ secrets.DOCKERHUB_ACCESS_DB_CI_CPROVER }}
-          docker image push $IMAGE_TAG
+          docker image push "$IMAGE_TAG"