Add Travis CI badge.

ProofGeneral · Jul 3, 2016 · 33e6c6b · 33e6c6b
1 parent 9075219
commit 33e6c6b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # Proof General — Organize your proofs! 
 
+[![Build Status](https://travis-ci.org/ProofGeneral/PG.svg?branch=master)](https://travis-ci.org/ProofGeneral/PG)
+
 Proof General is a generic Emacs interface for proof assistants.
 The aim of the Proof General project is to provide a powerful, generic
 environment for using interactive proof assistants.