Revert "specify a few optiosn to CI test command"

This reverts commit c7eda485ca.
This commit is contained in:
Rodrigo Setti 2017-08-13 12:05:14 -07:00
parent 03fed4986d
commit 90a45bea70

View File

@ -22,4 +22,4 @@ install:
script: script:
# Build the package and tests # Build the package and tests
- stack --no-terminal test --test-arguments='--no-color -f specdoc --no-diff --print-cpu-time' - stack --no-terminal test