projects / jpf-core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9aa7d09)
Embed Travis status image to README.md
authorGayan Weerakutti <gayanW@users.noreply.github.com>
Wed, 18 Apr 2018 11:58:39 +0000 (17:28 +0530)
committerGitHub <noreply@github.com>
Wed, 18 Apr 2018 11:58:39 +0000 (17:28 +0530)
The badge to show the build status of the master branch of the jpf-core repository.

README.md patch | blob | history

diff --git a/README.md b/README.md
index 8ba760741649892d426cc209df92ce7c7b11ff51..f57ccbedf3fefae8ce70663067938a8f18c9c496 100644 (file)
--- 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
 
 
 An extensible software model checking framework for Java bytecode programs
 
Unnamed repository; edit this file 'description' to name the repository.