From 46edc11fd83df7b3279c52fae4e362c06ec288ce Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Sun, 10 Nov 2013 02:11:50 -0500 Subject: [PATCH] doc(README.md): add coveralls.io's coverage badge --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 0138df69e..0564db66b 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,8 @@ Mac OS X 10.8.2, g++-4.9 [![Build Status](https://travis-ci.org/soonhokong/lean-windows.png?branch=master)](https://travis-ci.org/soonhokong/lean-windows) Windows, x86_64-w64-mingw32-g++-4.8.2 +[![Coverage Status](https://coveralls.io/repos/soonhokong/lean/badge.png?branch=master)](https://coveralls.io/r/soonhokong/lean?branch=master) + [[Result of Build/UnitTest/Coverage/Dynamic Analysis]][build] [build]: http://build.leanprover.net