From 9ac80d7f3dd3d0ca979e29a42a2ebb7615852893 Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Thu, 28 Nov 2024 13:43:45 -0500
Subject: [PATCH] ci(build): disable lint due to poor connection to github

---
 .gitea/workflows/build.yaml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml
index 56bb42f..0cce7c4 100644
--- a/.gitea/workflows/build.yaml
+++ b/.gitea/workflows/build.yaml
@@ -22,11 +22,8 @@ jobs:
           chmod 600 ~/.ssh/id_ed25519.pub
           ssh-keyscan -p 2222 focs.ji.sjtu.edu.cn >> ~/.ssh/known_hosts
           ssh -T git@focs.ji.sjtu.edu.cn -p 2222
-      # - name: Setup Joint-Teapot
-      #   run: |
-      #       pip install git+https://ghp.ci/https://github.com/BoYanZh/Joint-Teapot
-      - name: Lint
-        run: make lint
+        # - name: Lint
+        #   run: make lint
       - name: Build
         run: make build
       - name: Version