From fcb522e8a8994d80cb363096bda62fa30f762001 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 9 May 2018 19:01:10 -0400
Subject: [ci] Add mit-plv/cross-crypto

I followed the code for fiat-crypto / fiat-parsers.  I hope I didn't
miss anything.
---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index eeb0b800e..0f637103e 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -74,6 +74,9 @@ 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