diff options
| author | Yee Cheng Chin <ychin.git@gmail.com> | 2023-09-02 16:03:04 +0200 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2023-09-02 16:04:50 +0200 |
| commit | 8b202031412a5de43a9c8257118ff99a018afabf (patch) | |
| tree | 2707d9ffa0dab88ae3cc6595aca0ffd30c850621 /.github | |
| parent | b2422f75408a41c77620c0d0f956b9728810c6ef (diff) | |
patch 9.0.1844: doc helptags may not be up to datev9.0.1844
Problem: doc helptags may not be up to date
Solution: Add CI jobs to verify helptags are updated
Also, re-generate the tags file with updated list so it will pass CI.
closes: #13012
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 078e12cb25..036b36a394 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -242,6 +242,12 @@ jobs: do_test() { sg audio "sg $(id -gn) '$*'"; } do_test make ${SHADOWOPT} ${TEST} + - name: Vim tags + if: contains(matrix.extra, 'vimtags') + run: | + # This will exit with an error code if the generated vim tags differs from source. + git diff --exit-code -- runtime/doc/tags + - name: Generate gcov files if: matrix.coverage run: | |