diff options
| author | Justin Tobler <jltobler@gmail.com> | 2024-05-03 12:21:06 -0500 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-05-03 12:11:49 -0700 |
| commit | 9bef98096c1a58ec0f0e793a282374b50a43eaab (patch) | |
| tree | 9e45dae2a0ade280a194cd3f4a9fa27f32e60fb7 /diff.c | |
| parent | 66820fb7bfc47e0356dd8c27af3abd2a27daafcd (diff) | |
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>
Diffstat (limited to 'diff.c')
0 files changed, 0 insertions, 0 deletions