Add coverage back

This commit is contained in:
Chris de Graaf 2019-09-01 08:56:01 +07:00
parent d5a341c5dd
commit 9b68d22aad
No known key found for this signature in database
GPG Key ID: 150FFDD9B0073C7B

View File

@ -28,8 +28,13 @@ matrix:
- stage: Documentation - stage: Documentation
julia: 1.0 julia: 1.0
script: julia --project=docs -e ' script: julia --project=docs -e '
using Pkg; using Pkg;
Pkg.develop(PackageSpec(; path=pwd())); Pkg.develop(PackageSpec(; path=pwd()));
Pkg.instantiate(); Pkg.instantiate();
include("docs/make.jl");' include("docs/make.jl");'
after_success: skip after_success: skip
after_success: julia -e '
using Pkg;
Pkg.add("Coverage");
using Coverage;
Codecov.submit(process_folder());'