Restore coverage status badge

maurer · Jan 9, 2017 · 5cd3157 · 5cd3157
1 parent 123f1d6
commit 5cd3157
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -2,6 +2,7 @@
 
 [![Build Status](https://travis-ci.org/maurer/holmes.svg?branch=master)](https://travis-ci.org/maurer/holmes)
 [![Documentation](https://img.shields.io/badge/doc-master-green.svg)](https://maurer.github.io/holmes)
+[![Coverage Status](https://coveralls.io/repos/github/maurer/holmes/badge.svg?branch=master)](https://coveralls.io/github/maurer/holmes?branch=master)
 
 A system for integrating multiple analyses using a logic language.