]> git.ipfire.org Git - thirdparty/git.git/commit
ci: make the whitespace report optional
authorJustin Tobler <jltobler@gmail.com>
Fri, 3 May 2024 17:21:06 +0000 (12:21 -0500)
committerJunio C Hamano <gitster@pobox.com>
Fri, 3 May 2024 19:11:49 +0000 (12:11 -0700)
commit9bef98096c1a58ec0f0e793a282374b50a43eaab
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