more logs

Author: P-R-O-C-H-Y

.github/scripts/find_new_boards.sh

@@ -27,6 +27,14 @@ fi
 # Compare boards.txt file in the repo with the modified file
 diff=$(diff -u boards.txt boards_pr.txt)
 
+# Check if the diff is empty
+if [ -z "$diff" ]
+then
+    echo "No changes in boards.txt file"
+    echo "FQBNS="
+    exit 0
+fi
+
 # Print the diff
 echo "Diff:"
 echo "$diff"