Merge branch 'master' into an/new-docs

Author: allnes

.github/workflows/pages.yml

@@ -2,8 +2,11 @@ name: Pages
 
 on:
   push:
-    branches:
-      - master
+    paths:
+      - "docs/**"
+  pull_request:
+    paths:
+      - "docs/**"
   workflow_dispatch:
 
 permissions:
@@ -40,5 +43,6 @@ jobs:
         with:
           path: ./docs/_build/html
       - name: Deploy to GitHub Pages
+        if: github.ref == 'refs/heads/master'
         id: deployment
         uses: actions/deploy-pages@v4