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.
---
 .circleci/config.yml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 892175381..14c102ced 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -85,6 +85,9 @@ jobs:
   coquelicot:
     <<: *ci-template
 
+  cross-crypto:
+    <<: *ci-template
+
   elpi:
     <<: *ci-template
 
@@ -160,6 +163,7 @@ workflows:
       - compcert: *req-main
       - coq-dpdgraph: *req-main
       - coquelicot: *req-main
+      - cross-crypto: *req-main
       - elpi: *req-main
       - equations: *req-main
       - geocoq: *req-main
-- 
cgit v1.2.3