diff options
| author |   简律纯 <i@jyunko.cn> | 2024-02-27 11:46:42 +0800 |
|---|---|---|
| committer | 简律纯 <i@jyunko.cn> | 2024-02-27 11:46:42 +0800 |
| commit | ffd9ede503243efddde7af77b7d3b05765f64775 (patch) | |
| tree | c6f5ea6ff8cf77939bc395aa25d06092a4864450 | |
| parent | cac060a6e8b70e4e4e1b34555d3d4fee8bc6d007 (diff) | |
| parent | 55bdd192566df10f927de9f902270ba3789cb3e8 (diff) | |
| download | HydroRoll-ffd9ede503243efddde7af77b7d3b05765f64775.tar.gz HydroRoll-ffd9ede503243efddde7af77b7d3b05765f64775.zip | |
Merge branch 'main' of https://github.com/HydroRoll-Team/HydroRoll
| -rw-r--r-- | .github/workflows/docs.yml | 40 |
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 |