diff options
| author | Adin Scannell <ascannell@google.com> | 2020-12-15 10:02:55 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-12-15 10:05:47 -0800 |
| commit | 4e963c99ce23ce6838b4bca351f767460601f34a (patch) | |
| tree | 7e6b4b8124da6519f416d78409d07cdef1b00ba3 /.github/workflows/build.yml | |
| parent | 25ebddbddfbc518a810c0aebde85a1b2e14bc7df (diff) | |
Cleanup GitHub actions workflows.
Also, drop the pull_request template, since this has not proved to be
helpful, and just results in a commit message the includes the list.
PiperOrigin-RevId: 347636507
Diffstat (limited to '.github/workflows/build.yml')
| -rw-r--r-- | .github/workflows/build.yml | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index e28e46352..3be10b9bb 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,13 +1,18 @@ +# 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. +# +# This workflow also generates the build badge that is referred to by +# the main README. name: "Build" on: push: branches: - master - - feature/** pull_request: branches: - - master - - feature/** + - "**" jobs: default: @@ -22,7 +27,7 @@ jobs: ${{ 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 }} |