From 04b9db848efc54ce3928a45c5d7f57c8a96fba08 Mon Sep 17 00:00:00 2001
From: Podkopaev Anton <podkoav239@gmail.com>
Date: Fri, 2 Mar 2018 09:12:00 +0300
Subject: [PATCH] Switched to Docker for builds.

---
 .travis.yml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index cc18965d4..c2d96e63e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,8 +1,8 @@
 language: c
-sudo: required
-install: wget https://raw.githubusercontent.com/anlun/ocaml-ci-scripts/patch-1/.travis-opam.sh
-script: bash -ex .travis-opam.sh
-env:
-  - FORK_USER=anlun FORK_BRANCH=patch-1 OCAML_VERSION=4.06
-os:
-  - linux
\ No newline at end of file
+services:
+  - docker
+before_install:
+    - docker pull anlun/compiler-workout-ci
+    - docker run -d -it --name compiler-workout-ci -e "TRAVIS_COMMIT=$TRAVIS_PULL_REQUEST_BRANCH" anlun/compiler-workout-ci
+script:
+     docker exec -it compiler-workout-ci sh test.sh
\ No newline at end of file