summaryrefslogtreecommitdiffhomepage
path: root/tools/github/BUILD
diff options
context:
space:
mode:
authorAyush Ranjan <ayushranjan@google.com>2021-04-23 12:31:41 -0700
committergVisor bot <gvisor-bot@google.com>2021-04-23 12:33:48 -0700
commit915b8137981e5acb48b58f378a058b88938d44d4 (patch)
tree9af0c25075dfbce5c3b22c9355c67e71dfc8d82b /tools/github/BUILD
parent9e4aa04ad1f6e63f4aa99f516b19e4ff2592918b (diff)
[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
Diffstat (limited to 'tools/github/BUILD')
-rw-r--r--tools/github/BUILD1
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/github/BUILD b/tools/github/BUILD
index 7d0a179f7..a345debf6 100644
--- a/tools/github/BUILD
+++ b/tools/github/BUILD
@@ -7,7 +7,6 @@ go_binary(
srcs = ["main.go"],
nogo = False,
deps = [
- "//tools/github/nogo",
"//tools/github/reviver",
"@com_github_google_go_github_v32//github:go_default_library",
"@org_golang_x_oauth2//:go_default_library",