aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.github/workflows
diff options
context:
space:
mode:
author简律纯 <i@jyunko.cn>2023-07-22 09:26:54 +0800
committerGitHub <noreply@github.com>2023-07-22 09:26:54 +0800
commit3ef1a7a83ceb02d06571b6177d932291429a07d3 (patch)
tree2675879d2a1e4ef314c445fd3126eeed0a5ba261 /.github/workflows
parentfb9c6aac80c36f45a37d2b56f73985fb29c9ab04 (diff)
downloadHydroRoll-3ef1a7a83ceb02d06571b6177d932291429a07d3.tar.gz
HydroRoll-3ef1a7a83ceb02d06571b6177d932291429a07d3.zip
Create docs.yml
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/docs.yml30
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