Add Z3JavaScript badge

ExpoSEJS · Sep 11, 2018 · 19f3293 · 19f3293
1 parent 4ad9e5f
commit 19f3293
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+[![Build Status](https://travis-ci.org/ExpoSEJS/z3javascript.svg?branch=master)](https://travis-ci.org/ExpoSEJS/z3javascript)
+
 ## Z3Javascript
 
 A project to try and get Z3 running as a Javascript library. The project exercises a custom Z3 build through the library `ref`.