From 6ff143f6ed9344bc7dcc938ee85c3b8343950508 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Tue, 13 Jun 2017 16:41:43 +0200
Subject: [PATCH] Build status badge.

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 3aec1f02..a61d917d 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ An experimental feature for [JetBrains MPS](https://jetbrains.com/mps) implement
 
 ## Status
 
-**TODO: Build status here**
+[![Build Status](https://travis-ci.org/fisakov/constraints-typechecking.svg?branch=master)](https://travis-ci.org/fisakov/constraints-typechecking)
 
 The status of this project is **pre-release**. Don’t rely on any of the language features or the API to be stable. The purpose of this project is to show the new technology and collect early feedback.