Update .travis.yml

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

@ -37,8 +37,6 @@ script:
# 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
set +ex
after_success:

Loading…
Cancel
Save