ci: docker push if branch is develop

Author: nwtgck

.github/workflows/ci.yml

@@ -206,6 +206,13 @@ jobs:
         docker logs piping
         # Delete container
         docker rm -f piping
+    - name: Push if branch is develop
+      if: github.ref == 'ref/head/develop'
+      run: |
+        set -eu
+        echo ${{ secrets.DOCKER_HUB_TOKEN }} | docker login -u nwtgck --password-stdin
+        docker tag piping-server-rust nwtgck/piping-server-rust:${{ github.ref_name }}
+        docker push nwtgck/piping-server-rust:${{ github.ref_name }}
 
   release_if_tag_exits:
     needs: