Merge pull request #4061 from hugovk/actions-for-forks

GitHub Actions: include `pull_request` so PRs from forks run
This commit is contained in:
Hugo van Kemenade 2019-09-14 19:43:54 +03:00 committed by GitHub
commit 76da93809e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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