mirror of
https://github.com/neovim/neovim.git
synced 2025-02-25 18:55:25 -06:00
ci(commitlint): use pull_request_target to avoid "skip ci"
This commit is contained in:
parent
9055ec5792
commit
d7e2229b41
6
.github/workflows/commitlint.yml
vendored
6
.github/workflows/commitlint.yml
vendored
@ -1,13 +1,13 @@
|
|||||||
name: "Commit Linter"
|
name: "Commit Linter"
|
||||||
on:
|
on:
|
||||||
pull_request:
|
# Only pull_request and push honor [skip ci]. Since this workflow must pass
|
||||||
|
# to merge a PR, it can't be skipped, so use pull_request_target
|
||||||
|
pull_request_target:
|
||||||
types: [opened, synchronize, reopened, ready_for_review]
|
types: [opened, synchronize, reopened, ready_for_review]
|
||||||
jobs:
|
jobs:
|
||||||
lint-commits:
|
lint-commits:
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
if: github.event.pull_request.draft == false
|
if: github.event.pull_request.draft == false
|
||||||
env:
|
|
||||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v2
|
- uses: actions/checkout@v2
|
||||||
with:
|
with:
|
||||||
|
Loading…
Reference in New Issue
Block a user