diff --git a/.travis.yml b/.travis.yml index cc18965d4..7a1427e3f 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 -v $(pwd):/usr/share/compiler-workout anlun/compiler-workout-ci +script: + docker exec -it compiler-workout-ci sh test.sh