From 7383296181c5c75ace2f39a03ee4be6b43b8b676 Mon Sep 17 00:00:00 2001
From: Thomas Wood <thomas.wood09@imperial.ac.uk>
Date: Tue, 10 May 2016 16:05:59 +0100
Subject: [PATCH] Update README.md, add build status badge

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

diff --git a/README.md b/README.md
index f231c9d..dfbbf15 100644
--- a/README.md
+++ b/README.md
@@ -5,6 +5,9 @@ layout: null
 Program Specification & Verification Group Website: http://psvg.doc.ic.ac.uk/
 =============================================================================
 
+
+
+[![Build Status](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/badges/master/build.svg)](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/commits/master)
 [![Dependency Status](https://gemnasium.com/bd81b2aa11ff43417700f75dbd194221.svg)](https://gemnasium.com/6ba7afbbfda9adcba06f007cc565a29a)
 
 The source code for [this site](http://psvg.doc.ic.ac.uk) is [hosted on the DoC GitLab server](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk),
-- 
GitLab