[op] Remove Build job from GitHub actions.

We already have blocking nogo tests which show all findings. This job was
building all nogo targets, and posting all the findings to GitHub as a check
run. Building nogo takes a while so we actually end up wasting a lot of time
doing redundant work.

This is aligned with our goal of moving away from GitHub actions to BuildKite
only.

PiperOrigin-RevId: 370134875

1 files changed, 0 insertions, 29 deletions

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
deleted file mode 100644
index b572dc94f..000000000
--- a/.github/workflows/build.yml
+++ /dev/null
@@ -1,29 +0,0 @@
-# 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":
-  push:
-    branches:
-      - master
-  pull_request:
-    branches:
-      - master
-      - "feature/**"
-
-jobs:
-  default:
-    runs-on: ubuntu-latest
-    steps:
-    - name: Cancel previous
-      uses: styfle/cancel-workflow-action@0.7.0
-      with:
-        access_token: ${{ github.token }}
-    - uses: actions/checkout@v2
-    - run: make
-    - run: make build OPTIONS="--build_tag_filters nogo" TARGETS="//..."
-    - run: make run TARGETS="//tools/github" ARGS="-path=bazel-bin/ -path=bazel-out/ nogo"
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        GITHUB_REPOSITORY: ${{ github.repository }}