diff options
author | Adin Scannell <ascannell@google.com> | 2020-05-18 14:51:53 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-05-18 14:53:23 -0700 |
commit | f2f2dec7280e37696550185f291d51cf9e47e281 (patch) | |
tree | 3f0a3fa62195320c9273aa75cec96f2455ac2254 /.github/workflows | |
parent | cbfb55869e4d00ddd1ede096ba01adf2713e08b1 (diff) |
Add simplified badge and Build workflow.
PiperOrigin-RevId: 312159017
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/build.yml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml new file mode 100644 index 000000000..cf782a580 --- /dev/null +++ b/.github/workflows/build.yml @@ -0,0 +1,21 @@ +name: "Build" +on: + push: + branches: + - master + pull_request: + branches: + - master + +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 |