diff options
| author | Sam Clegg <sbc@chromium.org> | 2019-11-26 09:46:27 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-26 09:46:27 -0600 |
| commit | b807819d5501ee7ba22a178d3acfb8fa6d6bcde7 (patch) | |
| tree | bc2a891a9b84e6ae6af53ac2cc573a06a0248366 /.github | |
| parent | f1716357df721cbbaeacfcf8b1e7a12d4cb99459 (diff) | |
| download | wabt-b807819d5501ee7ba22a178d3acfb8fa6d6bcde7.tar.gz wabt-b807819d5501ee7ba22a178d3acfb8fa6d6bcde7.tar.bz2 wabt-b807819d5501ee7ba22a178d3acfb8fa6d6bcde7.zip | |
Run github actions on push as well as PR (#1254)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 23656c4f..8c7d2db1 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,6 @@ name: CI -on: [pull_request] +on: [push, pull_request] jobs: build: |