Merge pull request #30 from grische/fix/failure_on_empty_list

Exit successfully if no files have been found
reviewdog · Nov 13, 2021 · 1556838 · 1556838
2 parents 798a1c7 + 87511d2
commit 1556838
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/script.sh b/script.sh
@@ -28,6 +28,12 @@ fi
 
 FILES="${files_with_pattern} ${files_with_shebang}"
 
+# Exit early if no files have been found
+if [ -z "${FILES}" ]; then
+  echo "No matching files found to check."
+  exit 0
+fi
+
 echo '::group:: Running shellcheck ...'
 if [ "${INPUT_REPORTER}" = 'github-pr-review' ]; then
   # erroformat: https://git.io/JeGMU