From 37269b07188835213362b9dd6dd3ce9b1c4857bd Mon Sep 17 00:00:00 2001 From: Andreas Kern Date: Tue, 27 Feb 2024 16:00:31 +0100 Subject: [PATCH] . --- .github/workflows/filename-check.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/filename-check.yml b/.github/workflows/filename-check.yml index 4f78a107..aa3704fc 100644 --- a/.github/workflows/filename-check.yml +++ b/.github/workflows/filename-check.yml @@ -16,7 +16,7 @@ jobs: echo "Hello" all_files=$(find doc/manual -type f) echo $all_files - files_with_caps=$(find doc/manual -type f | grep -E '[A-Z]') + files_with_caps=$(find doc/manual -type f | grep -E "[A-Z]") echo $files_with_caps # if [ ! -z "$files_with_caps" ]; then # echo "Files with capital letters:"