Run GitHub Actions tests on PRs as well

When initially creating the GitHub Actions workflow, it was obviously forgotten to make it also run on pull requests, not only when changes are pushed to branches in the original repository (not a fork).
janl · Sep 13, 2019 · 81b0fab · 81b0fab
1 parent d820d25
commit 81b0fab
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
@@ -1,6 +1,6 @@
 name: Verify changes
 
-on: [push]
+on: [push, pull_request]
 
 jobs:       
   build: