diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-10-25 07:29:17 -0400 |
|---|---|---|
| committer |  bstoeger <32835590+bstoeger@users.noreply.github.com> | 2019-10-25 14:13:15 +0200 |
| commit | a07c2feb9526e82111374bcac98deab7fbb71345 (patch) | |
| tree | c4826f589bf50224a7c07c12b6d4d054afa22431 /.github/workflows/scripts | |
| parent | 7273161acf294b78a48e193d57088430aa5cf3da (diff) | |
| download | subsurface-a07c2feb9526e82111374bcac98deab7fbb71345.tar.gz | |
GitHub Actions: run them on pull requests as well
I wonder if this will cause issues where the actions sometimes run
twice. But we'll deal with that rather than dealing with not having the
tests on pull requests.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.github/workflows/scripts')
0 files changed, 0 insertions, 0 deletions