Update pr.yml

.github/workflows/pr.yml

@@ -7,8 +7,10 @@ on:
   pull_request:
     branches: 
       - master
-    paths-ignore:
-      - "docs/**"
+# Ignoring the docs prevents PRs touching only docs from succeeding.
+# Also, the docs do have a build step which must succeed for overall builds to succeed.
+#    paths-ignore:
+#      - "docs/**"
 
 jobs:
   build: