From c072b7cb5978c35493cfe14e55e9d214b4f7f042 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 26 Feb 2021 18:02:22 -0800
Subject: [PATCH] CI: hide successes in linux test output.
---
.github/workflows/ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 561de40d7..1cc224594 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -98,7 +98,7 @@ jobs:
cabal $v2-build --enable-tests --disable-optimization 2>&1 | tee build.log
# fail if warnings in local build
! grep -q ": *[Ww]arning:" build.log || exit 1
- cabal $v2-test --disable-optimization
+ cabal $v2-test --disable-optimization --test-option=--hide-successes
windows: