diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..194e00b
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,25 @@
+language: generic
+
+sudo: false
+
+env:
+  global:
+  - INSTALL_DIR: $HOME/.local
+  - ISABELLE_VERSION: Isabelle2021
+  - ISABELLE_TARBALL: ${ISABELLE_VERSION}_linux.tar.gz
+  - ISABELLE_URL: http://isabelle.in.tum.de/dist/${ISABELLE_TARBALL}
+  - ISABELLE_DIR: ${INSTALL_DIR}/${ISABELLE_VERSION}
+  - ISABELLE: ${ISABELLE_DIR}/bin/isabelle
+
+cache:
+  directories:
+  - ${INSTALL_DIR}
+  - $HOME/.isabelle
+
+before_install:
+  - mkdir -p ${INSTALL_DIR}
+  - test -e $ISABELLE || { wget ${ISABELLE_URL} && tar -C ${INSTALL_DIR}/ -xzf ${ISABELLE_TARBALL}; }
+
+install: true
+
+script: $ISABELLE build -d access_control_module AccessControlModule
diff --git a/README.md b/README.md
index 011e34d..08c2f16 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+[![Build Status](https://travis-ci.com/apache/incubator-teaclave-verification.svg?branch=master)](https://travis-ci.com/apache/incubator-teaclave-verification)
+
 # Teaclave Verification
 
 This repository contains formal descriptions, specifications, and proofs for Teaclave.