From cc24dbcd8869b0e6951678d2e610fb51dfaef733 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 18 Dec 2019 16:03:38 +0100 Subject: [PATCH] latest release badge --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index c98d0e0..6d2490f 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,7 @@ Stormpy - Python bindings for Storm =================================== [![Build Status](https://travis-ci.org/moves-rwth/stormpy.svg?branch=master)](https://travis-ci.org/moves-rwth/stormpy) +[![GitHub release](https://img.shields.io/github/release/moves-rwth/stormpy.svg)](https://github.com/moves-rwth/stormpy/releases/) Python bindings for [Storm](https://github.com/moves-rwth/storm/), created using [PyBind11](http://pybind11.readthedocs.io/en/stable/intro.html).