From adfc3cebf405f599292c7c8f131620837f0af93f Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 7 Jun 2018 13:22:59 +0200
Subject: Remove cross-crypto from Travis. It is still tested in GitLab CI.

This fixes #7734.
---
 .travis.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 5c7fc5a338..86a2aea668 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -80,9 +80,6 @@ matrix:
     - if: NOT (type = pull_request)
       env:
       - TEST_TARGET="ci-coquelicot"
-    - if: NOT (type = pull_request)
-      env:
-      - TEST_TARGET="ci-cross-crypto"
     - if: NOT (type = pull_request)
       env:
       - TEST_TARGET="ci-elpi" EXTRA_OPAM="elpi"
-- 
cgit v1.2.3