Trigger a GitHub build on pull requests.

garydgregory · garydgregory · commit 8c77e122f8df · 2020-08-31T21:22:18.000-04:00
diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
@@ -15,7 +15,7 @@
 
 name: Java CI
 
-on: [push]
+on: [push, pull_request]
 
 jobs:
   build:
