From 09f59dc3c2799071f8dbffdf4f67bc7145ecbf9f Mon Sep 17 00:00:00 2001 From: Jordan Mackie Date: Wed, 2 Dec 2020 09:29:24 +0000 Subject: [PATCH] Use ci flag --- ci.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci.sh b/ci.sh index 319ea13..600e460 100755 --- a/ci.sh +++ b/ci.sh @@ -13,8 +13,8 @@ print_versions() { ( build_and_test() { cabal new-update - cabal new-build - cabal new-test --test-show-details=streaming + cabal new-build -f ci + cabal new-test -f ci --test-show-details=streaming } lint() {