diff options
| author |  Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2021-11-23 17:29:10 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2021-11-23 16:51:53 -0800 |
| commit | c08bb260105fc7307be65f30e65c0f7305f0e3ce (patch) | |
| tree | 5324d5e9d179b4e4fc6b5a1b29280b0990c137d8 /t/t5000 | |
| parent | CI: use shorter names that fit in UX tooltips (diff) | |
| download | tgif-c08bb260105fc7307be65f30e65c0f7305f0e3ce.tar.xz | |
CI: rename the "Linux32" job to lower-case "linux32"
As a follow-up to the preceding commit's shortening of CI job names,
rename the only job that starts with an upper-case letter to be
consistent with the rest. It was added in 88dedd5e72c (Travis: also
test on 32-bit Linux, 2017-03-05).
Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t5000')
0 files changed, 0 insertions, 0 deletions