2017-08-10 17:13:01 +00:00
|
|
|
language: julia
|
2019-08-26 15:01:26 +00:00
|
|
|
notifications:
|
|
|
|
email: false
|
2017-08-10 17:13:01 +00:00
|
|
|
os:
|
|
|
|
- linux
|
|
|
|
- osx
|
2019-02-05 17:31:51 +00:00
|
|
|
- windows
|
2017-08-10 17:13:01 +00:00
|
|
|
julia:
|
2018-09-19 21:39:01 +00:00
|
|
|
- 1.0
|
2020-05-25 23:16:51 +00:00
|
|
|
- 1
|
2017-08-10 17:13:01 +00:00
|
|
|
- nightly
|
2019-08-31 10:33:33 +00:00
|
|
|
before_script:
|
|
|
|
- git config --global user.name Tester
|
|
|
|
- git config --global user.email te@st.er
|
2017-08-29 11:24:39 +00:00
|
|
|
matrix:
|
2019-08-26 15:01:26 +00:00
|
|
|
fast_finish: true
|
2017-08-29 11:24:39 +00:00
|
|
|
allow_failures:
|
|
|
|
- julia: nightly
|
2018-12-14 21:45:03 +00:00
|
|
|
include:
|
2019-11-01 04:45:55 +00:00
|
|
|
- arch: x86
|
2019-08-26 15:01:26 +00:00
|
|
|
julia: 1.0
|
|
|
|
- stage: Documentation
|
2020-03-03 17:28:38 +00:00
|
|
|
julia: 1
|
2019-09-01 14:03:19 +00:00
|
|
|
script:
|
2019-09-18 14:22:04 +00:00
|
|
|
- git config --global user.name name
|
|
|
|
- git config --global user.email email
|
|
|
|
- git config --global github.user username
|
2020-01-23 21:03:11 +00:00
|
|
|
- |
|
|
|
|
julia --project=docs -e '
|
|
|
|
using Pkg
|
|
|
|
Pkg.develop(PackageSpec(path=pwd()))
|
|
|
|
Pkg.instantiate()
|
|
|
|
include("docs/make.jl")'
|
2018-12-14 21:45:03 +00:00
|
|
|
after_success: skip
|
2020-01-23 21:03:11 +00:00
|
|
|
after_success: |
|
|
|
|
julia -e '
|
|
|
|
using Pkg
|
|
|
|
Pkg.add("Coverage")
|
|
|
|
using Coverage
|
|
|
|
Codecov.submit(process_folder())'
|