This changes the names used in GitHub CI to be shorter, because the current ones are so long that they overflow the pop-up tooltips in the GitHub UI. New pop-up visible at: https://github.com/avar/git/tree/avar/ci-shorter-names Full CI run at (currently pending, I had a trivial last-minute update): https://github.com/avar/git/runs/4264929546?check_suite_focus=true Ævar Arnfjörð Bjarmason (2): CI: use shorter names that fit in UX tooltips CI: rename the "Linux32" job to lower-case "linux32" .github/workflows/main.yml | 15 +++++++++++++-- .travis.yml | 2 +- README.md | 2 +- ci/install-docker-dependencies.sh | 2 +- ci/lib.sh | 2 +- ci/run-docker-build.sh | 2 +- ci/run-docker.sh | 2 +- 7 files changed, 19 insertions(+), 8 deletions(-) -- 2.34.0.823.g5753b56b5c1
