Add CI script

righettod · Jan 30, 2024 · dd80160 · dd80160
1 parent 4e960e2
commit dd80160
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/ci.sh b/ci.sh
@@ -13,7 +13,9 @@ echo "[+] Marker occurences found into the OUT file: $marker."
 rm $OUT
 if [ $marker -eq 0 ]
 then
+    echo "[X] Validation failed!"
     exit -1
 else
+    echo "[V] Validation succeed."
     exit 0
 fi