insert summary

tweag · May 14, 2024 · 1a2a229 · 1a2a229
1 parent 317db56
commit 1a2a229
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/bin/run_fawltydeps b/bin/run_fawltydeps
@@ -15,5 +15,9 @@ DELIMITER=$(echo $RANDOM | md5sum | head -c 20)
     echo "${DELIMITER}"
 } >> "${GITHUB_OUTPUT}"
 
-cat "${GITHUB_OUTPUT}"
+if [[ "$exit_code" -eq 0 ]]; then
+    echo "OK: fawltydeps :rocket:" > "$GITHUB_STEP_SUMMARY"
+else
+    echo "Error: fawltydeps found issues" > "$GITHUB_STEP_SUMMARY"
+fi
 exit $exit_code