Make warning messages a bit more verbose for debugging

JasonGross · May 9, 2024 · e4d9e81 · e4d9e81
1 parent 857071d
commit e4d9e81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/github/reportify-coq-errors-gen.sh b/github/reportify-coq-errors-gen.sh
@@ -72,7 +72,7 @@ function join_to_oneline() {
 
 function format_curlines_first_two() {
     if [ -z "${skip_unterminated_message_warning}" ]; then # first we report on the fact that we have an unterminated warning:
-        printf '%s' "::warning::Could not find a terminator for warning:%0A"
+        printf '%s' "::warning::Could not find a terminator for ${#curlines[@]}-line warning:%0A"
         join_to_oneline "${curlines[@]}"
         printf '\n'
     fi