Update .travis.yml

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

@ -35,6 +35,7 @@ script:
- |
set -ex
# Run tests
export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:/usr/local/lib"
stack --no-terminal test --ghc-options="$GHC_OPTIONS" $STACK_OPTS
stack install --ghc-options="$GHC_OPTIONS" $STACK_OPTS
echidna-testsuite

Loading…
Cancel
Save