push is more generic than pull_request

We don't need both
This commit is contained in:
Jordan Eldredge 2019-08-27 12:55:33 -07:00
parent 565592448d
commit 916ff6f96b

View file

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