On Fri, Nov 19, 2021 at 02:56:05PM +0100, Ævar Arnfjörð Bjarmason wrote: > 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 Thanks for giving examples. I don't have a strong opinion on the first patch, as I never look at those pop-ups anyway. ;) It does also shorten the names in the main "runs" page, where we had room to show them fully. To my mind, "linux-gcc", etc, are more readable than "regular (linux-gcc, gcc, ubuntu-latest)", and that's a strict improvement. "w32" versus "windows" is less obviously good, but I'm OK with it if the shortness is important in some contexts. -Peff
