diff options
author | Ævar Arnfjörð Bjarmason <avarab@gmail.com> | 2021-11-23 19:29:10 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-11-24 03:51:53 +0300 |
commit | c08bb260105fc7307be65f30e65c0f7305f0e3ce (patch) | |
tree | 5324d5e9d179b4e4fc6b5a1b29280b0990c137d8 /ci/run-docker.sh | |
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 'ci/run-docker.sh')
-rwxr-xr-x | ci/run-docker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/run-docker.sh b/ci/run-docker.sh index b610dd4db8..af89d1624a 100755 --- a/ci/run-docker.sh +++ b/ci/run-docker.sh @@ -6,7 +6,7 @@ . ${0%/*}/lib.sh case "$jobname" in -Linux32) +linux32) CI_CONTAINER="daald/ubuntu32:xenial" ;; linux-musl) |