update travis (MbedTLS is fixed)

This commit is contained in:
kalmarek 2019-03-15 18:02:13 +01:00
parent 60bdbd0e74
commit d23f1ff54f
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 2 additions and 11 deletions

View File

@ -13,19 +13,10 @@ matrix:
fast_finish: true fast_finish: true
allow_failures: allow_failures:
- julia: nightly - julia: nightly
- os: osx
before_script:
- julia -e 'using Pkg; Pkg.build();'
- julia -e 'using Pkg;
Pkg.add(PackageSpec(name="MbedTLS", version="0.6.6"));
Pkg.pin(PackageSpec(name="MbedTLS", version="0.6.6"));'
## uncomment the following lines to override the default test ## uncomment the following lines to override the default test
script: # script:
# - julia -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true);' # - julia -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true);'
codecov: true codecov: true
# after_success:
# push coverage results to Coveralls
#- julia -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true);'