Patrick Steinhardt <ps@xxxxxx> writes: > We explicitly list the distro of Linux-based jobs, but it is equivalent > to the name of the image in almost all cases, except that colons are > replaced with dashes. Drop the redundant information and massage it in > our CI scripts, which is equivalent to how we do it in GitLab CI. > > There are a couple of exceptions: > > - The "linux32" job, w whose distro name is different than the image > name. This is handled by adapting all sites to use the new name. "w whose"???