also lint on push to master (#444)
This commit is contained in:
parent
f4258a6aa5
commit
3967bcb72d
|
@ -1,7 +1,10 @@
|
|||
name: Lint
|
||||
|
||||
on:
|
||||
pull_request
|
||||
push:
|
||||
branches:
|
||||
- master
|
||||
pull_request:
|
||||
|
||||
jobs:
|
||||
lint:
|
||||
|
|
Loading…
Reference in New Issue