From 79e1cdb0c14a54505819ab21aeaf4770b2cdd1ec Mon Sep 17 00:00:00 2001 From: Matthias Bernt Date: Mon, 25 Nov 2024 09:53:01 +0100 Subject: [PATCH] fix workflow --- .github/workflows/tools.yaml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/tools.yaml b/.github/workflows/tools.yaml index 94f61b1..c4c17b9 100644 --- a/.github/workflows/tools.yaml +++ b/.github/workflows/tools.yaml @@ -184,11 +184,12 @@ jobs: run: | set -x # check if the ToolIDValid linter is called (no of tools - 1 ) times, i.e. is skipped once - if [ "$(grep -c ToolIDValid lint_report.txt)" != "2" ]; then + if [ "$(grep -c ToolIDValid lint_report.txt)" != "3" ]; then echo "expecting exactly 2 tests for ToolIDValid"; exit 1; fi grep tool1 lint_report.txt grep tool2 lint_report.txt + grep fail lint_report.txt grep "ERROR: Error 'HTTPConnectionPool" lint_report.txt grep "TestsNoValid" lint_report.txt test-tools: