Add Travis badge

coq-io · Jul 30, 2019 · 5cf7dc9 · 5cf7dc9
1 parent 3df38ee
commit 5cf7dc9
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,8 +1,10 @@
-# Hello World
+# ![Logo](https://raw.githubusercontent.com/clarus/icons/master/megaphone-48.png) Hello World
 > A Hello World program in Coq.
 
-## Install from OPAM
-Make sure you added the [Coq repository](coq.io/opam/):
+[![build status](https://img.shields.io/travis/coq-io/hello-world.svg)](https://travis-ci.org/coq-io/hello-world)
+
+## Install from opam
+Make sure you added the [Coq repository](https://github.com/coq/opam-coq-archive):
 
     opam repo add coq-released https://coq.inria.fr/opam/released