improve doc workflow

.github/workflows/docs.yaml

@@ -2,6 +2,10 @@ name: Documentation
 
 on:
   workflow_dispatch:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
 
 env:
   GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
@@ -37,6 +41,7 @@ jobs:
         run: makim --verbose docs.build
 
       - name: GitHub Pages action
+        if: ${{ github.event_name == 'workflow_dispatch' }}
         uses: peaceiris/[email protected]
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/main.yaml

@@ -123,7 +123,7 @@ jobs:
         if: "${{ failure() && (contains(github.event.pull_request.labels.*.name, 'ci:enable-debugging')) }}"
         uses: mxschmitt/action-tmate@v3
 
-  linter-and-docs:
+  linter:
     runs-on: ubuntu-latest
     timeout-minutes: 10
 
@@ -152,9 +152,6 @@ jobs:
           poetry config virtualenvs.create false
           poetry install
 
-      - name: Test documentation generation
-        run: makim docs.build
-
       - name: Run style checks
         if: success() || failure()
         run: |