diff options
| author | Christian Brabandt <cb@256bit.org> | 2024-01-15 22:38:48 +0100 |
|---|---|---|
| committer | Christian Brabandt <cb@256bit.org> | 2024-01-15 22:39:54 +0100 |
| commit | 9c58191b34c5ccc847d8119f5055a9086980356c (patch) | |
| tree | 7da27977ababbd58ff895eba60afee8f361d1847 /.github | |
| parent | a606f3ac036e5f3dc313f620e6b4bc00812314f9 (diff) | |
CI: regenerate helptags, fix ci help tags job failing
Signed-off-by: Christian Brabandt <cb@256bit.org>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0efadcf9b9..7f789e8047 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -270,6 +270,7 @@ jobs: git diff --exit-code -- tags make html; rm *.html tags.ref; test -f errors.log && exit 3; + true ) - name: Generate gcov files |