From 2bdc8d037076397e083c382c30758fd0fe722c4a Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Mon, 11 Nov 2013 20:40:32 -0500 Subject: [PATCH] doc(README.md): use horizontal layout for the badges simplified the title (i.e. from Ubuntu 12.04 LTS => Ubuntu), however, the detailed information are still accessible by positioning mouse over the icons. [skip ci] --- README.md | 26 ++++++++++++-------------- 1 file changed, 12 insertions(+), 14 deletions(-) diff --git a/README.md b/README.md index 0564db66b7..fa02c8741c 100644 --- a/README.md +++ b/README.md @@ -1,17 +1,15 @@ -[![Build Status](https://travis-ci.org/leodemoura/lean.png?branch=master)](https://travis-ci.org/leodemoura/lean) -Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3 - -[![Build Status](https://travis-ci.org/soonhokong/lean-osx.png?branch=master)](https://travis-ci.org/soonhokong/lean-osx) -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 + + + + + + + + + + + +
UbuntuOS XWindowsCode CoverageBuilds / UnitTests / Dynamic Analyses
http://build.leanprover.net
About -----