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:
16
16
notifications :
17
17
email : false
18
18
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(coverage);'
27
+
19
28
jobs :
20
29
include :
21
30
- stage : " Documentation"
22
31
julia : 1.0
23
32
os : linux
24
33
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();'
28
39
- julia --project=docs/ docs/make.jl
29
40
after_success : skip
30
41
allow_failures :
Original file line number Diff line number Diff line change 1
1
coverage :
2
2
ignore :
3
- - " deps/* "
4
- - " src/util/* "
3
+ - " lib "
4
+ - " res "
5
5
status :
6
6
patch : false
7
7
project : false
8
8
changes : false
9
- comment : false
You can’t perform that action at this time.
0 commit comments