File tree Expand file tree Collapse file tree 2 files changed +16
-6
lines changed Expand file tree Collapse file tree 2 files changed +16
-6
lines changed Original file line number Diff line number Diff line change @@ -16,15 +16,26 @@ julia:
1616notifications :
1717 email : false
1818
19+ after_success :
20+ - julia -e '
21+ using Pkg;
22+ Pkg.add("Coverage");
23+ using Coverage;
24+ dirs = ["src", "test", "examples"];
25+ coverage = vcat(map(process_folder, dirs)...);
26+ Codecov.submit_local(coverage);'
27+
1928jobs :
2029 include :
2130 - stage : " Documentation"
2231 julia : 1.0
2332 os : linux
2433 script :
25- - julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd()));
26- Pkg.build();
27- Pkg.instantiate()'
34+ - julia --project=docs/ -e '
35+ using Pkg;
36+ Pkg.develop(PackageSpec(path=pwd()));
37+ Pkg.build();
38+ Pkg.instantiate();'
2839 - julia --project=docs/ docs/make.jl
2940 after_success : skip
3041 allow_failures :
Original file line number Diff line number Diff line change 11coverage :
22 ignore :
3- - " deps/* "
4- - " src/util/* "
3+ - " lib "
4+ - " res "
55 status :
66 patch : false
77 project : false
88 changes : false
9- comment : false
You can’t perform that action at this time.
0 commit comments