From 6fa7987ea903f83b301e190c36a31002b5461c5e Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Tue, 18 Mar 2025 16:25:56 -0400
Subject: [PATCH] ci: docker login

---
 .gitea/workflows/push.yaml | 51 +++++++++++++++++++-------------------
 1 file changed, 26 insertions(+), 25 deletions(-)

diff --git a/.gitea/workflows/push.yaml b/.gitea/workflows/push.yaml
index 3dbffbb..f4c831e 100644
--- a/.gitea/workflows/push.yaml
+++ b/.gitea/workflows/push.yaml
@@ -1,28 +1,29 @@
----
 name: push
 on:
-    push:
-        branches:
-            - golang-ubuntu-latest
+  push:
+    branches:
+      - golang-ubuntu-latest
 jobs:
-    build:
-        runs-on: ubuntu-latest
-        steps:
-            - name: Check out repository code
-              uses: actions/checkout@focs
-            - name: Determine build command
-              id: build_command
-              run: |
-                if echo "${{ github.event.head_commit.message }}" | grep -q "force build"; then
-                  echo "build_command=make force-build" >> $GITHUB_ENV
-                else
-                  echo "build_command=make build" >> $GITHUB_ENV
-                fi
-            - name: Build
-              run: ${{ env.build_command }}
-            - name: Check images
-              run: docker images
-            - name: Remove dangling images
-              run: docker image prune -f
-            - name: Push
-              run: make push
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out repository code
+        uses: actions/checkout@focs
+      - name: Determine build command
+        id: build_command
+        run: |
+          if echo "${{ github.event.head_commit.message }}" | grep -q "force build"; then
+            echo "build_command=make force-build" >> $GITHUB_ENV
+          else
+            echo "build_command=make build" >> $GITHUB_ENV
+          fi
+      - name: Build
+        run: ${{ env.build_command }}
+      - name: Check images
+        run: docker images
+      - name: Remove dangling images
+        run: docker image prune -f
+      - 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