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 /commit-graph.c | |
| parent | df7375d77287f3665867b99ae18fc3cbe3289a67 (diff) | |
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 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions