2017-03-13 14:49:55 +01:00
|
|
|
# Documentation: http://docs.travis-ci.com/user/languages/julia/
|
|
|
|
language: julia
|
|
|
|
os:
|
|
|
|
- linux
|
|
|
|
- osx
|
|
|
|
julia:
|
2019-02-18 19:57:00 +01:00
|
|
|
- 1.0
|
2017-03-13 14:49:55 +01:00
|
|
|
- nightly
|
|
|
|
notifications:
|
2019-02-18 19:57:00 +01:00
|
|
|
email: true
|
|
|
|
matrix:
|
|
|
|
fast_finish: true
|
|
|
|
allow_failures:
|
|
|
|
- julia: nightly
|
|
|
|
|
|
|
|
## uncomment the following lines to override the default test
|
|
|
|
script:
|
|
|
|
- julia -e 'using Pkg;
|
|
|
|
Pkg.add(PackageSpec(url="https://github.com/kalmarek/Groups.jl", rev="enh/julia-v0.7"));
|
|
|
|
Pkg.add(PackageSpec(url="https://github.com/kalmarek/GroupRings.jl", rev="enh/julia-v0.7"));
|
|
|
|
Pkg.clone(pwd());
|
|
|
|
Pkg.build("PropertyT");
|
|
|
|
Pkg.test("PropertyT"; coverage=true)'
|
|
|
|
|
|
|
|
codecov: true
|
|
|
|
|
|
|
|
# after_success:
|
2017-03-13 14:49:55 +01:00
|
|
|
# push coverage results to Coveralls
|
2019-02-18 19:57:00 +01:00
|
|
|
#- julia -e 'using Pkg; Pkg.build(); Pkg.test(coverage=true);'
|