diff options
Diffstat (limited to '.github/workflows/docs.yml')
| -rw-r--r-- | .github/workflows/docs.yml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml new file mode 100644 index 0000000..b6f89f9 --- /dev/null +++ b/.github/workflows/docs.yml @@ -0,0 +1,30 @@ +on: + push: + branches: + - main + +jobs: + download_pages: + 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: Clone psi repository + run: git clone --depth 1 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: Commit and push changes + run: | + cd HydroRoll + git add . + git commit -m "Update psi/docs/pages" + git push origin main |