No docs build on branches

.github/workflows/docs.yaml

@@ -1,16 +1,12 @@
 name: Build docs
 
 on:
-  # DON'T run on pushed commits to master, ONLY on new commits on pull requests
-  push:
-    branches-ignore:
-      - 'master'
-    paths-ignore:
-      - 'docs/**'
-  # Use push trigger since 'paths-ignore' are not respected as expected by 'on.pull_request.paths-ignore', see https://github.com/actions/runner/issues/2324
+  # 'paths-ignore' are not respected as expected, see https://github.com/actions/runner/issues/2324
   pull_request:
     types: [opened]
     branches: [ master ]
+    # paths-ignore:
+    #   - 'docs/**'
 
 jobs:
   build_docs: