2017-08-10 17:13:01 +00:00
|
|
|
language: julia
|
|
|
|
os:
|
|
|
|
- linux
|
|
|
|
- osx
|
|
|
|
julia:
|
2018-09-24 19:39:40 +00:00
|
|
|
- 0.7
|
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
|
|
|
|
after_success:
|
2018-09-26 20:49:10 +00:00
|
|
|
- julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; CodeCov.submit(process_folder())'
|
2018-10-22 19:15:48 +00:00
|
|
|
# For package generation examples.
|
|
|
|
- git config --global user.name "Travis"
|
|
|
|
- git config --global user.email "travis@c.i"
|
2018-09-26 20:55:24 +00:00
|
|
|
- git config --global github.user "travis"
|
2018-10-17 17:21:39 +00:00
|
|
|
- julia -e 'using Pkg; ps=Pkg.PackageSpec(name="Documenter", version="0.19"); Pkg.add(ps); Pkg.pin(ps); include(joinpath("docs", "make.jl"))'
|