From 9c58191b34c5ccc847d8119f5055a9086980356c Mon Sep 17 00:00:00 2001 From: Christian Brabandt Date: Mon, 15 Jan 2024 22:38:48 +0100 Subject: CI: regenerate helptags, fix ci help tags job failing Signed-off-by: Christian Brabandt --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) (limited to '.github') 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 -- cgit v1.2.3