Trigger a GitHub build on pull requests.

This commit is contained in:
Gary Gregory 2020-08-31 21:23:15 -04:00
parent e0e80b48b2
commit 7998912085
1 changed files with 1 additions and 1 deletions

View File

@ -15,7 +15,7 @@
name: Java CI
on: [push]
on: [push, pull_request]
jobs:
build: