diff options
| author | 2023-07-22 09:34:15 +0800 | |
|---|---|---|
| committer | 2023-07-22 09:34:15 +0800 | |
| commit | c6daf02dcbda850c998cf8811829147e9d89e0cf (patch) | |
| tree | b1606c22d1ef6fd1a86749176176089fdfd2b64e | |
| parent | a83dbee43d13e3e8ec802d02d6b05f5dc7b20302 (diff) | |
| download | HydroRoll-c6daf02dcbda850c998cf8811829147e9d89e0cf.tar.gz HydroRoll-c6daf02dcbda850c998cf8811829147e9d89e0cf.zip | |
Update docs.yml
| -rw-r--r-- | .github/workflows/docs.yml | 44 |
1 files changed, 26 insertions, 18 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index b6f89f9..e819902 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,30 +1,38 @@ +name: Sync psi docs to HydroRoll + on: push: branches: - main jobs: - download_pages: + sync: runs-on: ubuntu-latest steps: - - name: Checkout HydroRoll repository - uses: actions/checkout@v2 - - - name: Setup Git credentials - run: | - git config --local user.email "actions@github.com" - git config --local user.name "GitHub Actions" + - name: Checkout HydroRoll + uses: actions/checkout@v2 + with: + path: HydroRoll - - name: Clone psi repository - run: git clone --depth 1 https://github.com/HydroRoll-Team/psi.git + - name: Clone psi repo + run: | + git clone https://github.com/HydroRoll-Team/psi.git - - name: Copy psi/docs/pages to HydroRoll/docs/pages/psi - run: cp -r psi/docs/pages HydroRoll/docs/pages/psi + - 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 changes - run: | - cd HydroRoll - git add . - git commit -m "Update psi/docs/pages" - git push origin main + - name: Commit and push if it changed + run: | + cd HydroRoll + git config --local user.email "action@github.com" + git config --local user.name "GitHub Action" + git add -A + if git diff --quiet HEAD; then + echo "No changes to commit" + else + git commit -m "Sync psi docs" + git push + fi |
