Merge pull request #29 from malmans2/deploy-docs

deploy documentation

Author: MaceKuailv

.github/workflows/on-push.yml

@@ -129,3 +129,9 @@ jobs:
     - name: Build documentation
       run: |
         make docs-build
+    - name: Deploy documentation
+      if: github.ref == 'refs/heads/main'
+      uses: peaceiris/actions-gh-pages@v3
+      with:
+        github_token: ${{ secrets.GITHUB_TOKEN }}
+        publish_dir: ./docs/_build/html