2015-01-07 08:20:16 +01:00
|
|
|
language: julia
|
2020-03-03 18:05:04 +01:00
|
|
|
|
2019-03-04 14:10:03 +01:00
|
|
|
jobs:
|
|
|
|
include:
|
|
|
|
- stage: "Documentation"
|
2020-03-26 13:42:31 +01:00
|
|
|
julia: 1
|
2019-03-04 14:10:03 +01:00
|
|
|
os: linux
|
|
|
|
script:
|
2020-05-16 13:49:52 +02:00
|
|
|
- julia --project=doc/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
|
2019-03-04 14:10:03 +01:00
|
|
|
- julia --project=doc/ doc/make.jl
|
|
|
|
after_success: skip
|
2020-03-04 11:37:36 +01:00
|
|
|
|
|
|
|
notifications:
|
|
|
|
email: false
|