diff options
| author | 2023-07-22 09:26:54 +0800 | |
|---|---|---|
| committer | 2023-07-22 09:26:54 +0800 | |
| commit | 3ef1a7a83ceb02d06571b6177d932291429a07d3 (patch) | |
| tree | 2675879d2a1e4ef314c445fd3126eeed0a5ba261 /.github/workflows | |
| parent | fb9c6aac80c36f45a37d2b56f73985fb29c9ab04 (diff) | |
| download | HydroRoll-3ef1a7a83ceb02d06571b6177d932291429a07d3.tar.gz HydroRoll-3ef1a7a83ceb02d06571b6177d932291429a07d3.zip | |
Create docs.yml
Diffstat (limited to '.github/workflows')
| -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 |
