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
|
2018-09-24 17:49:30 +00:00
|
|
|
before_script:
|
2018-09-24 19:52:31 +00:00
|
|
|
# Git configuration is required to make commits in generated packages.
|
2018-09-24 17:49:30 +00:00
|
|
|
- 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-26 20:49:10 +00:00
|
|
|
- julia -e 'using Pkg; Pkg.add("Coverage"); using Coverage; CodeCov.submit(process_folder())'
|
2018-09-26 20:55:24 +00:00
|
|
|
# For zero-argument template example.
|
|
|
|
|
- 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"))'
|
