Run workflow on PR

This commit is contained in:
Jaco Greeff authored and GitHub committed 2019-10-07 13:04:14 +02:00
1 parent e2a7ef95da
commit a2ee1fcd1c
1 file changed
+1 -1
+1 -1
View File
@@ -1,5 +1,5 @@
name: CI
on: push
on: [push, pull_request]
jobs:
lint: