Use ci flag

jmackie · Dec 2, 2020 · 09f59dc · 09f59dc
1 parent 4d3cb7d
commit 09f59dc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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() {