Add larabot status to README

epfl-lara · Jun 19, 2019 · e6bfc84 · e6bfc84
1 parent 8da3a28
commit e6bfc84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-ScalaZ3
+ScalaZ3 ![Build status](http://laraquad4.epfl.ch:9000/epfl-lara/ScalaZ3/status/master)
 =======
 
 This is ScalaZ3 for Z3 4.7.1 and Scala 2.10, 2.11, 2.12, and 2.13.