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.
---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1789846c8..ac4304da1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -242,6 +242,9 @@ ci-coq-dpdgraph:
 ci-coquelicot:
   <<: *ci-template
 
+ci-cross-crypto:
+  <<: *ci-template
+
 ci-elpi:
   <<: *ci-template
 
-- 
cgit v1.2.3