krb5 commit: Run CI builds on pull requests

[Greg Hudson]

https://github.com/krb5/krb5/commit/dea66c146cd3587b01c511ac4813fb54e41b0303
commit dea66c146cd3587b01c511ac4813fb54e41b0303
Author: Greg Hudson <ghudson at mit.edu>
Date:   Mon Feb 17 19:09:17 2020 -0500

    Run CI builds on pull requests

 .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: