CI: add on PR
This commit is contained in:
parent
8e490af01c
commit
903b9dbb8b
|
@ -5,6 +5,7 @@ name: lint
|
||||||
on:
|
on:
|
||||||
- push
|
- push
|
||||||
- workflow_dispatch
|
- workflow_dispatch
|
||||||
|
- pull_request
|
||||||
|
|
||||||
defaults:
|
defaults:
|
||||||
run:
|
run:
|
||||||
|
|
Loading…
Reference in New Issue