From fcb1cdd219d0f4b97376862fe94d90e74f60c72d Mon Sep 17 00:00:00 2001
From: Andreas Kern <andreas.kern1@cariad.technology>
Date: Tue, 27 Feb 2024 15:49:25 +0100
Subject: [PATCH] .

---
 .github/workflows/filename-check.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/filename-check.yml b/.github/workflows/filename-check.yml
index 54f390ab..e8d625d8 100644
--- a/.github/workflows/filename-check.yml
+++ b/.github/workflows/filename-check.yml
@@ -13,8 +13,10 @@ jobs:
     - uses: actions/checkout@v4
     - name: Check for capital letters in filenames in 'doc/manual'
       run: |
+        echo "Hello"
         files_with_caps=$(find doc/manual -type f | grep '[A-Z]')
         if [ ! -z "$files_with_caps" ]; then
           echo "Files with capital letters:"
           echo "$files_with_caps"
         fi
+        echo "Hello"