1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-24 18:10:29 +01:00

update travis (MbedTLS is fixed)

This commit is contained in:
kalmarek 2019-03-15 08:14:12 +01:00
parent 60bdbd0e74
commit ba2d53be42
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15

View File

@ -13,19 +13,10 @@ matrix:
fast_finish: true
allow_failures:
- julia: nightly
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"));'
- os: osx
## uncomment the following lines to override the default test
script:
# script:
# - julia -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true);'
codecov: true
# after_success:
# push coverage results to Coveralls
#- julia -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true);'