Merge pull request #5771 from NlightNFotis/dockerhub_image_push_fifth_fix

[CI] Change method of password input to docker login.

Author: NlightNFotis

.github/workflows/release-packages.yaml

@@ -225,5 +225,5 @@ jobs:
         run: docker build -t "$IMAGE_TAG" .
       - name: Push docker image to DockerHub
         run: |
-          docker login --username=dbcicprover --password=${{ secrets.DOCKERHUB_ACCESS_DB_CI_CPROVER }}
+          echo ${{ secrets.DOCKERHUB_ACCESS_DB_CI_CPROVER }} | docker login --username=dbcicprover --password-stdin
           docker image push "$IMAGE_TAG"