Switch timings to blue

Black can look pretty bad on some consoles, including GNOME's.
This commit is contained in:
George Thomas 2026-01-07 01:02:31 +00:00
parent aefb7f067f
commit f98a4c29d2

View File

@ -341,7 +341,7 @@ displayTestResultsConsole terminalWidth testResult =
terminalWidth terminalWidth
) )
" " " "
<> setColour Dull Black <> setColour Dull Blue
<> tt <> tt
) )
time time