1 files changed, 7 insertions, 10 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index e28e46352..b0381a563 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,28 +1,25 @@
+# This workflow builds the source code, extracts nogo annotations and
+# posts them to GitHub, if applicable. This leverages the fact that the
+# workflow token has appropriate permissions to do so, and attempts to
+# leverage the GitHub workflow caches.
 name: "Build"
-on:
+"on":
   push:
     branches:
       - master
-      - feature/**
   pull_request:
     branches:
       - master
-      - feature/**
+      - "feature/**"
 
 jobs:
   default:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v2
-    - uses: actions/cache@v1
-      with:
-        path: ~/.cache/bazel
-        key: ${{ runner.os }}-bazel-${{ hashFiles('WORKSPACE') }}
-        restore-keys: |
-          ${{ runner.os }}-bazel-
     - run: make
     - run: make build OPTIONS="--build_tag_filters nogo" TARGETS="//..."
-    - run: make run TARGETS="//tools/github" ARGS="-path=bazel-bin/ nogo"
+    - run: make run TARGETS="//tools/github" ARGS="-path=bazel-bin/ -path=bazel-out/ nogo"
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         GITHUB_REPOSITORY: ${{ github.repository }}