commit b2ca768196af87b93c90e315747d166f5d8d931c
parent 8e58d37f2e15ac8540377148e55ed08a039aadb6
Author: dundargoc <gocdundar@gmail.com>
Date: Sat, 11 Nov 2023 12:50:48 +0100
ci: skip api-doc workflow on draft PRs
Checking the documentation generation is mostly useful towards the end
of a pull request like with the lintcommit workflow.
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/.github/workflows/api-docs.yml b/.github/workflows/api-docs.yml
@@ -2,6 +2,7 @@
name: Autogenerate API docs and types
on:
pull_request:
+ types: [opened, synchronize, reopened, ready_for_review]
paths:
- 'src/nvim/api/*.[ch]'
- 'src/nvim/eval.lua'
@@ -11,6 +12,7 @@ on:
jobs:
regen-api-docs-and-types:
runs-on: ubuntu-latest
+ if: github.event.pull_request.draft == false
permissions:
contents: write
pull-requests: write