diff options
| author | Ayush Ranjan <ayushranjan@google.com> | 2021-04-23 12:31:41 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2021-04-23 12:33:48 -0700 |
| commit | 915b8137981e5acb48b58f378a058b88938d44d4 (patch) | |
| tree | 9af0c25075dfbce5c3b22c9355c67e71dfc8d82b /Makefile | |
| parent | 9e4aa04ad1f6e63f4aa99f516b19e4ff2592918b (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 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -148,11 +148,6 @@ dev: $(RUNTIME_BIN) ## Installs a set of local runtimes. Requires sudo. @$(call reload_docker) .PHONY: dev -nogo: ## Surfaces all nogo findings. - @$(call build,--build_tag_filters nogo //...) - @$(call run,//tools/github $(foreach dir,$(BUILD_ROOTS),-path=$(CURDIR)/$(dir)) -dry-run nogo) -.PHONY: nogo - ## ## Canonical build and test targets. ## |