Add CI

algebraic-graphs · Apr 16, 2017 · deb7546 · deb7546
1 parent 4edd93d
commit deb7546
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -0,0 +1,15 @@
+sudo: required
+
+language: ruby
+
+services:
+- docker
+
+before_install:
+- docker pull scottfleischman/agda:2.5.2
+
+env:
+- AGDA_FILE="src/Theorems.agda"
+
+script:
+- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build; agda '$AGDA_FILE