From ddfb5e269d5a1410fff5ee98b7a12bf14569013a Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Thu, 27 Jul 2017 11:13:55 +0200
Subject: [PATCH] chore(.travis.yml): add Travis CI support

---
 .travis.yml | 8 ++++++++
 README.md   | 3 +++
 2 files changed, 11 insertions(+)
 create mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000000000..0ab4d539664f1
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,8 @@
+language: generic
+
+install:
+  - curl https://leanprover.github.io/lean-nightly/build/lean-nightly-linux.tar.gz | tar xz -C ..
+  - export PATH=../lean-nightly-linux/bin:$PATH
+
+script:
+  - leanpkg test
diff --git a/README.md b/README.md
index 31aa83158f060..c7b3625031e02 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,5 @@
 # stdlib
+
+[![Build Status](https://travis-ci.org/leanprover/stdlib.svg?branch=master)](https://travis-ci.org/leanprover/stdlib)
+
 Lean standard library