1
0
mirror of https://github.com/kalmarek/GroupRings.jl.git synced 2024-10-31 18:15:34 +01:00
GroupRings.jl/.travis.yml

22 lines
515 B
YAML
Raw Normal View History

# Documentation: http://docs.travis-ci.com/user/languages/julia/
language: julia
os:
- linux
- osx
julia:
2018-09-30 01:50:38 +02:00
- 1.0
- nightly
notifications:
2018-09-30 01:50:38 +02:00
email: true
matrix:
fast_finish: true
allow_failures:
- julia: nightly
2018-10-01 09:59:43 +02:00
script:
- julia -e 'using Pkg; pkg"add https://github.com/kalmarek/Groups.jl#enh/julia-v0.7"; Pkg.build(); Pkg.test(coverage=true);'
after_success:
# push coverage results to Coveralls
2018-09-30 01:50:38 +02:00
- julia -e 'import Pkg; Pkg.add("Coverage"); using Coverage; Codecov.submit(process_folder())'