1 files changed, 0 insertions, 40 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
deleted file mode 100644
index ef66ac9..0000000
--- a/.github/workflows/docs.yml
+++ /dev/null
@@ -1,40 +0,0 @@
-name: Sync psi docs to HydroRoll
-
-on:
-  push:
-    branches:
-      - main
-
-jobs:
-  sync-psi-docs:
-    runs-on: ubuntu-latest
-
-    steps:
-    - name: Checkout HydroRoll
-      uses: actions/checkout@v2
-      with:
-        path: HydroRoll
-      env:
-        GITHUB_TOKEN: ${{ secrets.CI_TOKEN }}
-
-    - name: Clone psi repo
-      run: |
-        git clone https://x-access-token:${{ secrets.CI_TOKEN }}@github.com/HydroRoll-Team/psi.git
-
-    - name: Copy psi docs to HydroRoll
-      run: |
-        mkdir -p HydroRoll/docs/pages/psi
-        cp -r psi/docs/pages/* HydroRoll/docs/pages/psi/
-
-    - name: Commit and push if it changed
-      run: |
-        cd HydroRoll
-        git config --local user.email "i@jyunko.cn"
-        git config --local user.name "Hsiang Nianian"
-        git add -A
-        if git diff --quiet HEAD; then
-          echo "No changes to commit"
-        else
-          git commit -m "Sync psi docs"
-          git push
-        fi