Diversify colour coding of failed tests
Since we regularly have some tests timing out it would be nice to colour-code those differently from other types of failures, so that shifters can skip them at a glance.
Since we regularly have some tests timing out it would be nice to colour-code those differently from other types of failures, so that shifters can skip them at a glance.