rename github actions, add auto-build docs github action

.github/workflows/docs.yml

@@ -0,0 +1,40 @@
+name: docs
+
+on:
+  push:
+    branches: [ main ]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Install pandoc
+        run: |
+          sudo apt-get update -y && sudo apt-get install -y pandoc
+      - uses: actions/checkout@v4
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.9'
+      - name: Update pip and install python dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install .[docs]
+      - name: Build html docs
+        working-directory: 'docs/'
+        run: |
+          make html
+      - name: Commit documentation changes
+        run: |
+          cd docs/build/html
+          git init
+          git add -A
+          git config --local user.email "[email protected]"
+          git config --local user.name "GitHub Action"
+          git commit -m 'deploy' -a || true
+      - name: Push changes to gh-pages
+        uses: ad-m/github-push-action@master
+        with:
+          branch: gh-pages
+          directory: docs/build/html
+          force: true
+          github_token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/build.yml → .github/workflows/test.yml

@@ -1,4 +1,4 @@
-name: build
+name: test
 
 on: [push, pull_request]
 
@@ -31,7 +31,5 @@ jobs:
 
         - name: Test and generate coverage report on Linux
           run: |
-            pip install pytest
-            pip install pytest-cov
+            pip install .[test]
             pytest --cov=./ --cov-report=xml
-