2017-08-10 17:13:01 +00:00
|
|
|
language: julia
|
|
|
|
|
os:
|
|
|
|
|
- linux
|
|
|
|
|
- osx
|
|
|
|
|
julia:
|
2018-09-19 21:39:01 +00:00
|
|
|
- 1.0
|
2017-08-10 17:13:01 +00:00
|
|
|
- nightly
|
2017-08-29 11:24:39 +00:00
|
|
|
matrix:
|
|
|
|
|
allow_failures:
|
|
|
|
|
- julia: nightly
|
|
|
|
|
fast_finish: true
|
2017-08-10 17:13:01 +00:00
|
|
|
notifications:
|
|
|
|
|
email: false
|
2018-09-24 17:49:30 +00:00
|
|
|
before_script:
|
|
|
|
|
- git config --global user.name "Travis"
|
|
|
|
|
- git config --global user.email "travis@example.com"
|
2017-08-10 17:13:01 +00:00
|
|
|
after_success:
|
2018-09-19 21:39:01 +00:00
|
|
|
- julia -e 'using Pkg; Pkg.add("Coverage")'
|
|
|
|
|
- julia -e 'using Coverage; CodeCov.submit(process_folder())'
|
|
|
|
|
- julia -e 'using Pkg; Pkg.add("Documenter"); include(joinpath("docs", "make.jl"))'
|
