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: CI: hide successes in linux test output.

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.github/workflows')

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:
 
-- 
cgit v1.2.3