From 8aaa205c5711225d261cd86e23a4e7283796b5d9 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 11 Aug 2017 10:42:01 +0200
Subject: [PATCH] Added travis build status to README

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

diff --git a/README.md b/README.md
index 92214ca57..921983387 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,6 @@
 Storm
 ==============================
+[![Build Status](https://travis-ci.org/moves-rwth/storm.svg?branch=master)](https://travis-ci.org/moves-rwth/storm)
 
 For more instructions, check out the documentation found in [Getting Started](http://www.stormchecker.org/getting-started.html).