From 4b755867c40b04d361cdcb73fae63702f5bbdfd3 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Thu, 12 Sep 2013 20:19:07 -0700 Subject: [PATCH] Update README.md put http://build.leanprover.net [skip ci] --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index bc24c227cc..0e9f7ba653 100644 --- a/README.md +++ b/README.md @@ -7,9 +7,9 @@ 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.1 -[[Result of Build/UnitTest/Coverage/Dynamic Analysis]][cdash] +[[Result of Build/UnitTest/Coverage/Dynamic Analysis]][build] -[cdash]: http://cmacslab2.modck.cs.cmu.edu/CDash-2-0-2/index.php?project=Lean +[build]: http://build.leanprover.net Requirements ============