From 333937f105005a4dcda8c9650b30aa07ca6eedf3 Mon Sep 17 00:00:00 2001 From: Gayan Weerakutti Date: Wed, 18 Apr 2018 17:28:39 +0530 Subject: [PATCH] Embed Travis status image to README.md The badge to show the build status of the master branch of the jpf-core repository. --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 8ba7607..f57ccbe 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,5 @@ -# Java PathFinder +# Java PathFinder [![Build Status](https://travis-ci.org/javapathfinder/jpf-core.svg?branch=master)](https://travis-ci.org/javapathfinder/jpf-core) + An extensible software model checking framework for Java bytecode programs -- 2.34.1