add deploy CI

JuliaCN · Aug 12, 2021 · d1dc062 · d1dc062
1 parent 7a50e4a
commit d1dc062
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -0,0 +1,19 @@
+name: Deploy to mirror server
+on:
+  push:
+
+jobs:
+  # server maintainers: @findmyway @johnnychen94 @Roger-luo @staticfloat
+  deploy_juliacn:
+    runs-on: ubuntu-latest
+    environment: github-pages-mirror
+    steps:
+      - uses: actions/checkout@v2
+      - name: deploy to juliacn docs server
+        uses: appleboy/scp-action@master
+        with:
+          host: juliacn.com
+          username: ${{ secrets.MIRROR_SERVER_USERNAME }}
+          key: ${{ secrets.MIRROR_SERVER_SSH_KEY }}
+          source: "./*"
+          target: "/gs/JuliaZH.jl/"