use github actions for pull requests

This commit is contained in:
pantor
2020-06-15 20:44:36 +02:00
parent cc5cc2875f
commit d010206d32
2 changed files with 2 additions and 2 deletions

View File

@@ -2,7 +2,7 @@
name: CI
on: push
on: [push, pull_request]
jobs:
ci:

View File

@@ -1,6 +1,6 @@
name: Single Include
on: push
on: [push, pull_request]
jobs:
test: