aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakob Odersky <jakob@driver.xyz>2018-09-22 14:12:40 -0700
committerJakob Odersky <jakob@driver.xyz>2018-09-22 14:12:40 -0700
commit31e78ac241df6024d470ebc8840532ba2e143843 (patch)
tree95a78262f4c959714f2b1996a9983b49d88628f0
parent429a143f2173cfee28dbb71fd0d0e434296f6e45 (diff)
downloadbest-practices-master.tar.gz
best-practices-master.tar.bz2
best-practices-master.zip
Add travis status badgeHEADmaster
-rw-r--r--README.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md
index c468f07..68ae1f3 100644
--- a/README.md
+++ b/README.md
@@ -8,6 +8,8 @@ languages and technologies used at Driver. Check out the
## Building
+[![Build Status](https://travis-ci.org/drivergroup/best-practices.svg?branch=master)](https://travis-ci.org/drivergroup/best-practices)
+
The website is built with [pandoc](https://pandoc.org/) and published
via [GitHub Pages](https://pages.github.com/).