From 55127251de8b0a34006aaff9a93dad3d51eb430d Mon Sep 17 00:00:00 2001 From: MichaelKora Date: Fri, 26 Jan 2024 13:52:14 +0100 Subject: [PATCH] Test 3.1 --- .github/generate-doc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/generate-doc.py b/.github/generate-doc.py index e4afc91e4..4100ef08a 100644 --- a/.github/generate-doc.py +++ b/.github/generate-doc.py @@ -249,7 +249,7 @@ def run(): safe_remove_directory("tmps/") else: safe_remove_directory("tmps/") - raise DocGenerationError(count) + raise DocGenerationError(count, inconsistencies) if __name__ == "__main__":