summaryrefslogtreecommitdiffhomepage
path: root/.github/workflows/build.yml
blob: ab0bf9cb5f2506b3b3879b938bfd925b82971780 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
# 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
  pull_request:
    branches:
      - "**"

jobs:
  default:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2
    - uses: actions/cache@v1
      with:
        path: ~/.cache/bazel
        key: ${{ runner.os }}-bazel-${{ hashFiles('WORKSPACE') }}
        restore-keys: |
          ${{ runner.os }}-bazel-
    - 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 }}