From 04e7b0a5bd579ad5a667f70088180836360ca1e0 Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Wed, 22 Jul 2026 21:10:04 -0700
Subject: [PATCH] chore: log CI

---
 .gitea/workflows/build.yaml     | 16 ++++++++++++++++
 .gitea/workflows/submodule.yaml |  7 +++++++
 2 files changed, 23 insertions(+)

diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index a29bfbb..7e082e5 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -12,14 +12,23 @@ jobs:
         run: go version
       - name: Prepare
         run: |
+          echo ">>> set GO111MODULE"
           go env -w GO111MODULE=on
+          echo ">>> set GOPROXY"
           go env -w GOPROXY=https://goproxy.cn,direct
+          echo ">>> mkdir ~/.ssh"
           mkdir -p ~/.ssh
+          echo ">>> write private key"
           echo "${{ secrets.DEPLOY_PRIVATE_KEY }}" > ~/.ssh/id_ed25519
+          echo ">>> write public key"
           echo "${{ secrets.DEPLOY_KEY }}" > ~/.ssh/id_ed25519.pub
+          echo ">>> chmod private key"
           chmod 600 ~/.ssh/id_ed25519
+          echo ">>> chmod public key"
           chmod 600 ~/.ssh/id_ed25519.pub
+          echo ">>> ssh-keyscan"
           ssh-keyscan -p 2222 focs.gc.sjtu.edu.cn >> ~/.ssh/known_hosts
+          echo ">>> ssh test"
           ssh -T git@focs.gc.sjtu.edu.cn -p 2222
         # - name: Lint
         #   run: make lint
@@ -38,12 +47,19 @@ jobs:
     steps:
       - name: Set up SSH
         run: |
+          echo ">>> mkdir ~/.ssh"
           mkdir -p ~/.ssh
+          echo ">>> write private key"
           echo "${{ secrets.DEPLOY_PRIVATE_KEY }}" > ~/.ssh/id_ed25519
+          echo ">>> write public key"
           echo "${{ secrets.DEPLOY_KEY }}" > ~/.ssh/id_ed25519.pub
+          echo ">>> chmod private key"
           chmod 600 ~/.ssh/id_ed25519
+          echo ">>> chmod public key"
           chmod 600 ~/.ssh/id_ed25519.pub
+          echo ">>> ssh-keyscan"
           ssh-keyscan -p 2222 focs.gc.sjtu.edu.cn >> ~/.ssh/known_hosts
+          echo ">>> ssh test"
           ssh -T git@focs.gc.sjtu.edu.cn -p 2222
       - name: Set up Git
         run: |
diff --git a/.gitea/workflows/submodule.yaml b/.gitea/workflows/submodule.yaml
index 946fad2..e4ed025 100644
--- a/.gitea/workflows/submodule.yaml
+++ b/.gitea/workflows/submodule.yaml
@@ -13,12 +13,19 @@ jobs:
           fetch-depth: 0
       - name: Set up SSH
         run: |
+          echo ">>> mkdir ~/.ssh"
           mkdir -p ~/.ssh
+          echo ">>> write private key"
           echo "${{ secrets.DEPLOY_PRIVATE_KEY }}" > ~/.ssh/id_ed25519
+          echo ">>> write public key"
           echo "${{ secrets.DEPLOY_KEY }}" > ~/.ssh/id_ed25519.pub
+          echo ">>> chmod private key"
           chmod 600 ~/.ssh/id_ed25519
+          echo ">>> chmod public key"
           chmod 600 ~/.ssh/id_ed25519.pub
+          echo ">>> ssh-keyscan"
           ssh-keyscan -p 2222 focs.gc.sjtu.edu.cn >> ~/.ssh/known_hosts
+          echo ">>> ssh test"
           ssh -T git@focs.gc.sjtu.edu.cn -p 2222
       - name: Set up Git
         run: |