mirror of
https://github.com/kalmarek/GroupRings.jl.git
synced 2024-12-29 11:00:28 +01:00
22 lines
515 B
YAML
22 lines
515 B
YAML
# Documentation: http://docs.travis-ci.com/user/languages/julia/
|
|
language: julia
|
|
os:
|
|
- linux
|
|
- osx
|
|
julia:
|
|
- 1.0
|
|
- nightly
|
|
notifications:
|
|
email: true
|
|
matrix:
|
|
fast_finish: true
|
|
allow_failures:
|
|
- julia: nightly
|
|
|
|
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
|
|
- julia -e 'import Pkg; Pkg.add("Coverage"); using Coverage; Codecov.submit(process_folder())'
|