Better Github CI colors
Color and sort Github CI jobs based on their status. I.e., failed jobs are red and in the start of the list.
Keine Nutzer
Color and sort Github CI jobs based on their status. I.e., failed jobs are red and in the start of the list.