abbreviate CI job names
I'm sure we are all no strangers to looking at the CI pipeline (below) and having to mouse over anything to figure out what on earth it is. Ah yes, 9 identical tasks appearing as "docker_build_...", that is exactly what I hoped to see...
What about if we rename these to shorter text that fits? E.g. "F32" for "Fedora 32", which is how the Fedora folk refer to it anyway. The macOS builds could even be " Autotools" if such UTF-8 wizardry is accepted by the CI gods.