Update .travis.yml

pull/162/head
Gustavo Grieco 6 years ago committed by GitHub
parent 6823db1e55
commit 55ee1ee011
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 1
      .travis.yml

@ -36,6 +36,7 @@ script:
set -ex
# Run tests
stack --no-terminal test --ghc-options="$GHC_OPTIONS" $STACK_OPTS
stack install --ghc-options="$GHC_OPTIONS" $STACK_OPTS
echidna-testsuite
set +ex

Loading…
Cancel
Save