fix: correct .bazelignore per meteorcloudy

.bazelignore

@@ -1,3 +1,7 @@
-# ignore the examples which are used to document suggested usage, validate this project, and -- in future -- repro issues
-examples/**
+# ignore the examples which are used to document suggested usage, validate this project,
+# and -- in future -- repro issues that may arise.  Per meteorcloudy, .bazelignore is transitory,
+# but its own format, not gitignore format
+docs
+bazel-*
+examples
 

.github/workflows/bazel.yaml

@@ -39,13 +39,20 @@ jobs:
       - uses: actions/[email protected]
         # https://github.com/bazelbuild/bazel/issues/11062
       -
-        run: bazel run //docs:collate_docs
+        run: |
+          echo 'examples' > .bazelignore  # remove '//docs'
+          bazel run //docs:collate_docs
       -
-        run: bazel build //...
+        run: |
+          echo 'docs' > .bazelignore
+          echo 'examples' >> .bazelignore
+          bazel build //...
       -
         run: bazel test //... --test_output=errors --test_summary=detailed
       -
         name: Integration Tests (ie Proof Examples)
-        run: bazel test //examples:all_integration_tests --test_output=errors --test_summary=detailed
+        run: |
+          echo 'docs' > .bazelignore
+          bazel test //examples:all_integration_tests --test_output=errors --test_summary=detailed
       -
         run: bazel shutdown