aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-02-21 16:00:30 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2019-02-21 16:00:30 +0100
commitfe9c6bf06cb89ced0f61015bb24a88990a2c8fe8 (patch)
tree2e1004ceecc46bb388559568c9e74550de816db0 /docs
parentbfa20a8c262580e38d30cfa95e75d1b01b568d07 (diff)
Use codecov and update docs
Diffstat (limited to 'docs')
-rw-r--r--docs/index.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html
index 6d69e3f..c9bd988 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -116,6 +116,7 @@
<h2>Dev status</h2>
<ul class="list-unstyled">
<li><a href="https://travis-ci.com/jranke/chents"><img src="https://travis-ci.com/jranke/chents.svg?branch=master" alt="Build Status"></a></li>
+<li><a href="https://codecov.io/github/jranke/chents"><img src="https://codecov.io/github/jranke/chents/branch/master/graphs/badge.svg" alt="codecov"></a></li>
</ul>
</div>
</div>

Contact - Imprint