diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/api-docs.yml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/api-docs.yml b/.github/workflows/api-docs.yml index 432e91306c..c6c2d8c658 100644 --- a/.github/workflows/api-docs.yml +++ b/.github/workflows/api-docs.yml @@ -29,7 +29,6 @@ jobs: id: docs run: | python3 scripts/gen_vimdoc.py - ./scripts/gen_vimfn_types.lua printf 'UPDATED_DOCS=%s\n' $([ -z "$(git diff)" ]; echo $?) >> $GITHUB_OUTPUT - name: FAIL, PR has not committed doc changes |