diff options
Diffstat (limited to '.github/workflows/build.yml')
| -rw-r--r-- | .github/workflows/build.yml | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml deleted file mode 100644 index b0381a563..000000000 --- a/.github/workflows/build.yml +++ /dev/null @@ -1,25 +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: - - 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 }} |