Update README.md, add build status badge

73832961 · Thomas Wood · 13f9482f · 73832961
Commit 73832961 authored 8 years ago by Thomas Wood
--- 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),