remove bullet point that is only used in Publish reporting
commit56aea22120f71973259f2844dd0dea9b7a28bcb5
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 4 Jun 2019, 15:50 (7 years ago)
parent80f2c62
builder/src/Reporting.hs−5
@@ -122,11 +122,6 @@ badMark =
122122 D.red $ if isWindows then "X" else "✗"
123123
124124
125−_waitingMark :: D.Doc
126−_waitingMark =
127− D.dullyellow $ if isWindows then "-" else "→"
128−
129−
130125isWindows :: Bool
131126isWindows =
132127 Info.os == "mingw32"