From dad66ee06aba6d8964734b9bfe5850ed1c21389b Mon Sep 17 00:00:00 2001
From: JS <jishaoxiong@gmail.com>
Date: Wed, 20 Sep 2023 14:29:21 +0300
Subject: [PATCH] deploy docs

---
 .github/workflows/push.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index a80720db..0f084ddb 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -404,3 +404,10 @@ jobs:
         set -e
         # Check that docs are built without errors
         cd docs/ && make html && cd ..
+    - name: Deploy docs
+      uses: JamesIves/github-pages-deploy-action@3.7.1
+      with:
+        GITHUB_TOKEN:  ${{ secrets.GITHUB_TOKEN }}
+        BRANCH: gh-pages
+        FOLDER: docs/build/html
+        CLEAN: true
\ No newline at end of file