ci(build): disable lint due to poor connection to github

2024-11-28 13:43:45 -05:00 · 2024-11-28 13:43:45 -05:00 · 9ac80d7f3d
commit 9ac80d7f3d
parent 84f28f13dc
1 changed files with 2 additions and 5 deletions
--- 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