commit 410aad616c630be3a72f2ca37c95e7baa0d73bf8
parent 4a23122cd23f3932583d320467b5ecad36a22ace
Author: Anders Damsgaard <andersd@riseup.net>
Date: Mon, 11 Sep 2017 12:27:33 -0400
fix line order in index.md, generate code coverage report on deploy
Diffstat:
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/.travis.yml b/.travis.yml
@@ -26,6 +26,8 @@ before_script:
after_success:
- julia -e 'Pkg.add("Documenter")'
- julia -e 'cd(Pkg.dir("SeaIce")); include(joinpath("docs", "make.jl"))'
+
+deploy:
- provider: script
script: julia -e 'cd(Pkg.dir("SeaIce")); Pkg.add("Coverage"); using Coverage; Codecov.submit(Codecov.process_folder())'
on:
diff --git a/docs/src/index.md b/docs/src/index.md
@@ -30,6 +30,6 @@ Depth = 1
Pages = [
"lib/public.md",
"lib/internals.md",
-Depth = 1
]
+Depth = 1
```