Merge branch 'main' into dependabot-yml

Author: MartinThoma

.github/workflows/check-gitignored-files.yml

@@ -12,7 +12,7 @@ jobs:
 
     steps:
       - name: Checkout code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Check for gitignored files in commit
         run: |