diff options
| author | Greg Hudson <ghudson@mit.edu> | 2020-02-17 19:09:17 -0500 |
|---|---|---|
| committer | Greg Hudson <ghudson@mit.edu> | 2020-02-17 20:14:17 -0500 |
| commit | dea66c146cd3587b01c511ac4813fb54e41b0303 (patch) | |
| tree | 41423cb977cb12e8618ef436b9e6e43196d2ab23 /.github | |
| parent | 1ad47d436e2e748fb20d4b08f85ed8dda2b3fd3c (diff) | |
| download | krb5-dea66c146cd3587b01c511ac4813fb54e41b0303.zip krb5-dea66c146cd3587b01c511ac4813fb54e41b0303.tar.gz krb5-dea66c146cd3587b01c511ac4813fb54e41b0303.tar.bz2 | |
Run CI builds on pull requests
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 982cb50..85d6750 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -1,6 +1,6 @@ name: Build -on: push +on: [push, pull_request] jobs: |