Update ci.yml

MonoidMusician · Aug 10, 2020 · f44bf67 · f44bf67
1 parent c2ededb
commit f44bf67
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -25,4 +25,4 @@ jobs:
 
       - run: spago build
 
-      - run: spago test --no-install
+      - run: spago test