ci: docker login

.gitea/workflows/push.yaml

@@ -41,5 +41,8 @@ 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
+      - name: Docker Push
         run: make push