Add larabot status to README

romac · romac · commit e6bfc8415709 · 2019-06-19T14:43:22.000+02:00
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.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-ScalaZ3`
	`1`	`+ScalaZ3 ![Build status](http://laraquad4.epfl.ch:9000/epfl-lara/ScalaZ3/status/master)`
`2`	`2`	`=======`
`3`	`3`
`4`	`4`	`This is ScalaZ3 for Z3 4.7.1 and Scala 2.10, 2.11, 2.12, and 2.13.`