commit 7e2a7a61fc15e0af4d877e124b4700e77637cc7a
author Yulong Zhang <ansonzyl@gmail.com> Tue Mar 16 21:46:29 2021 -0700
committer GitHub <noreply@github.com> Tue Mar 16 21:46:29 2021 -0700
tree ceffe166df1ce95bb8a12c5e3fcae397619f362c
parent 2881641248807fc6452a39356047e1f83d737dac
parent 79cd9db784d5ea458f1b98d48eb6617679943f91

Merge pull request #4 from apache/ci

Integrate with Travis CI

.travis.yml

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

README.md

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.