Re: [PATCH 0/2] CI: use shorter names for CI jobs, less truncation

From: Jeff King <peff@peff.net>
Date: Nov 19, 2021, 15:03 UTC
Message-ID: <YZe8tXc3rT18KF1M@coredump.intra.peff.net>
In-Reply-To: <cover-0.2-00000000000-20211119T135343Z-avarab@gmail.com>

On Fri, Nov 19, 2021 at 02:56:05PM +0100, Ævar Arnfjörð Bjarmason wrote:

Show 9 quoted lines

> 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