ci: docker login

.gitea/workflows/push.yaml

@@ -1,4 +1,3 @@
----
 name: push
 on:
   push:
@@ -24,5 +23,7 @@ jobs:
         run: docker images
       - name: Remove dangling images
         run: docker image prune -f
-            - name: Push
+      - name: Docker Login
+        run: "echo \"${{ secrets.DOCKER_PASSWORD }}\" | docker login -u ${{ secrets.DOCKER_USERNAME }} --password-stdin focs.ji.sjtu.edu.cn:5000          \n"
+      - name: Docker Push
         run: make push