Upd lint
This commit is contained in:
parent
d3931886ef
commit
34f1caaed6
@ -2,15 +2,15 @@ name: lint
|
|||||||
|
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
types: [opened, reopened, closed]
|
types: [opened, reopened, closed, synchronize]
|
||||||
branches:
|
branches:
|
||||||
- master
|
- master
|
||||||
- v3
|
- v3
|
||||||
- v4
|
- v4
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
lint:
|
if_merged:
|
||||||
name: lint
|
if: github.event.pull_request.merged == true
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
- name: setup-go
|
- name: setup-go
|
||||||
|
Loading…
x
Reference in New Issue
Block a user