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 /Makefile | |
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 'Makefile')
0 files changed, 0 insertions, 0 deletions