run CI on pull requests as well

This commit is contained in:
Girts
2020-03-15 17:42:48 -07:00
committed by GitHub
co-authored by GitHub
parent 0cbcb7a9bd
commit 35dada683a
+3 -1
View File
@@ -1,5 +1,7 @@
name: Continuous Integration
on: push
on:
- push
- pull_request
jobs:
main: