diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-21 16:00:30 +0100 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-21 16:00:30 +0100 |
commit | fe9c6bf06cb89ced0f61015bb24a88990a2c8fe8 (patch) | |
tree | 2e1004ceecc46bb388559568c9e74550de816db0 /docs | |
parent | bfa20a8c262580e38d30cfa95e75d1b01b568d07 (diff) |
Use codecov and update docs
Diffstat (limited to 'docs')
-rw-r--r-- | docs/index.html | 1 |
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> |