From 3af7a31a45d3b600a49fc0268fae03d793f121e7 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Sat, 16 Jun 2018 21:14:43 +0200
Subject: Remove Elpi from Travis.

Rather than trying to keep the version of dependencies in sync with GitLab CI.
---
 .travis.yml | 5 -----
 1 file changed, 5 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 86a2aea66..627334690 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -80,11 +80,6 @@ matrix:
     - if: NOT (type = pull_request)
       env:
       - TEST_TARGET="ci-coquelicot"
-    - if: NOT (type = pull_request)
-      env:
-      - TEST_TARGET="ci-elpi" EXTRA_OPAM="elpi"
-      # ppx_tools_versioned requires a specific version findlib
-      - FINDLIB_VER=""
     - if: NOT (type = pull_request)
       env:
       - TEST_TARGET="ci-equations"
-- 
cgit v1.2.3