diff --git a/.ci-dockerfiles/ci-base.dockerfile b/.ci-dockerfiles/ci-base.dockerfile
new file mode 100644
index 0000000..9536a02
--- /dev/null
+++ b/.ci-dockerfiles/ci-base.dockerfile
@@ -0,0 +1,19 @@
+from haskell:8.2
+
+run apt-get update && apt-get install -y \
+  clang lld-4.0 \
+  curl wget \
+  chicken-bin racket \
+  libx11-dev uuid-dev \
+  libncurses5-dev
+
+run wget https://github.com/cisco/ChezScheme/archive/v9.5.2.tar.gz && \
+  tar xvzf v9.5.2.tar.gz && \
+  cd ChezScheme-9.5.2 && \
+  ./configure --threads && \
+  make -j install
+
+run cabal update && cabal install -j --with-ld=ld.lld-4.0 idris-1.3.2
+
+env IDRIS_CC=clang
+cmd idris
diff --git a/.ci-dockerfiles/ci-run.dockerfile b/.ci-dockerfiles/ci-run.dockerfile
new file mode 100644
index 0000000..b0dbbad
--- /dev/null
+++ b/.ci-dockerfiles/ci-run.dockerfile
@@ -0,0 +1,7 @@
+from theodus/idris2-ci-base:latest
+
+copy . /Idris2-dev
+workdir /Idris2-dev
+run make idris2
+run make libs
+run make test
diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000..aa616bc
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,9 @@
+dist: bionic
+
+services: docker
+
+language: minimal
+
+before_install: docker pull theodus/idris2-ci-base:latest
+
+script: docker build . -f .ci-dockerfiles/ci-run.dockerfile