From d89282b517335dbd19448a6b1f9c62d5ad18c7c7 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 11 Aug 2017 11:08:03 +0200 Subject: [PATCH] Moved build status to top in README --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index fd3be44..cbb5979 100644 --- a/README.md +++ b/README.md @@ -1,10 +1,10 @@ Stormpy - Python bindings for Storm =================================== -Stormpy contains python bindings for [storm](https://github.com/moves-rwth/storm/). - [![Build Status](https://travis-ci.org/moves-rwth/stormpy.svg?branch=master)](https://travis-ci.org/moves-rwth/stormpy) +Stormpy contains python bindings for [Storm](https://github.com/moves-rwth/storm/). + ### Dependencies Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/). @@ -12,4 +12,4 @@ Stormpy depends on [pycarl](https://github.com/moves-rwth/pycarl/). ### Authors - Sebastian Junges -- Matthias Volk \ No newline at end of file +- Matthias Volk