PRs should run Github actions

This commit is contained in:
Risto Lahtela 2020-05-23 21:00:39 +03:00 committed by GitHub
parent add1500881
commit b9befd66e6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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