From 0bb3ee016fb44aafe7038a3e5902bde2fd12c5d7 Mon Sep 17 00:00:00 2001
From: Minki Cho <minki.cho@sf.snu.ac.kr>
Date: Sun, 3 Feb 2019 01:18:59 +0900
Subject: [PATCH] Update .travis.yml

---
 .travis.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 567ed5b..8698054 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,15 +15,16 @@ addons:
 env:
   global:
   - NJOBS=1
-  - COMPILER="system"
 
   # Main test targets
   # get versions from: https://opam.ocaml.org/packages/coq/
   # Only use versions that CompCert can build with...
   matrix:
-  - TEST_TARGET="8.6.1"
+  - COMPILER="4.05.0"
+    TEST_TARGET="8.6.1"
   - TEST_TARGET="8.7.2"
   - TEST_TARGET="8.8.1"
+  - TEST_TARGET="8.9.0"
 
 before_script:
   - ./ci/keep_alive.sh &