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/t4101 | |
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/t4101')
0 files changed, 0 insertions, 0 deletions