diff --git a/README.md b/README.md index 9b0df9b3c0c0059c23e54db98e5c453584cc214f..fd7f42b123d1c49c9abc130d3c7423078581be48 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -Leon 3.0 [](http://laraquad4.epfl.ch:9000/epfl-lara/leon) +Leon 3.0 [](http://laraquad4.epfl.ch:9000/epfl-lara/leon/builds) ========== Getting Started