Merge pull request wannier-developers#481 from qiaojunfeng/docs_deploy

Fix mkdocs deploy
qiaojunfeng · Feb 16, 2024 · 8515172 · 8515172
2 parents c29d331 + 6dea358
commit 8515172
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 25 deletions.
diff --git a/.github/workflows/docs_ci.yml → .github/workflows/docs.yml b/.github/workflows/docs_ci.yml → .github/workflows/docs.yml
@@ -1,8 +1,9 @@
-name: CI test docs
+name: Build docs
 on:
   pull_request:
-    paths:
-      - docs/**
+  push:
+    branches:
+      - develop
 
 jobs:
   docs:
@@ -26,3 +27,10 @@ jobs:
           env:
             GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
             ENABLE_MKDOCS_GIT_COMMITTERS: False
+
+        - name: Deploy to GitHub Pages
+          uses: peaceiris/actions-gh-pages@v3
+          if: github.ref == 'refs/heads/develop'
+          with:
+            github_token: ${{ secrets.GITHUB_TOKEN }}
+            publish_dir: ./docs/site
diff --git a/.github/workflows/docs_deploy.yml b/.github/workflows/docs_deploy.yml