ci: make the whitespace report optional
commit9bef98096c1a58ec0f0e793a282374b50a43eaab
authorJustin Tobler <jltobler@gmail.com>
Fri, 3 May 2024 17:21:06 +0000 (3 12:21 -0500)
committerJunio C Hamano <gitster@pobox.com>
Fri, 3 May 2024 19:11:49 +0000 (3 12:11 -0700)
tree9e45dae2a0ade280a194cd3f4a9fa27f32e60fb7
parent66820fb7bfc47e0356dd8c27af3abd2a27daafcd
ci: make the whitespace report optional

The `check-whitespace` CI job generates a formatted output file
containing whitespace error information. As not all CI providers support
rendering a formatted summary, make its generation optional.

Signed-off-by: Justin Tobler <jltobler@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
ci/check-whitespace.sh