Deploy releases to Docker Hub (#2413)

Deploy releases (actual releases, not only release branches) to Docker Hub.

Closes #2383

.github/workflows/deploy_protected.yml

@@ -29,7 +29,7 @@ jobs:
           fi
 
   dockerhub:
-    name: Deploy Dockerhub
+    name: Deploy Docker Hub
     needs: [check-secret]
     if: needs.check-secret.outputs.secrets-defined == 'true'
     runs-on: ubuntu-22.04
@@ -50,7 +50,7 @@ jobs:
     - name: Set up Docker Buildx
       uses: docker/setup-buildx-action@v3
     - name: Publish to Registry
-      uses: elgohr/Publish-Docker-Github-Action@v4
+      uses: elgohr/Publish-Docker-Github-Action@v5
       with:
         name: dweindl/amici
         username: ${{ secrets.DOCKER_USERNAME }}

.github/workflows/deploy_release.yml

@@ -74,3 +74,29 @@ jobs:
             -H "Accept: application/vnd.github.v3+json" \
               https://api.github.com/repos/${DOWNSTREAM_REPOSITORY}/actions/workflows/${WORKFLOW_FILE}/dispatches \
             -d "{\"ref\": \"dev\", \"inputs\": {\"simulatorVersion\": \"${PACKAGE_VERSION}\", \"simulatorVersionLatest\": \"true\"}}"
+
+  dockerhub:
+    name: Release to Docker Hub
+    runs-on: ubuntu-22.04
+
+    steps:
+    - name: Set up Python
+      uses: actions/setup-python@v5
+      with:
+        python-version: "3.11"
+    - uses: actions/checkout@v4
+    - run: git archive -o container/amici.tar.gz --format=tar.gz HEAD
+    - name: Set up QEMU
+      uses: docker/setup-qemu-action@v3
+    - name: Set up Docker Buildx
+      uses: docker/setup-buildx-action@v3
+    - name: Publish to Registry
+      uses: elgohr/Publish-Docker-Github-Action@v5
+      with:
+        name: dweindl/amici
+        username: ${{ secrets.DOCKER_USERNAME }}
+        password: ${{ secrets.DOCKER_PASSWORD }}
+        workdir: container/
+        dockerfile: Dockerfile
+        tag_semver: true
+        platforms: linux/amd64,linux/arm64