From 2f2a3eb27c1d76b1943d2b08abb1fc3224109fb3 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andres@kevix.co>
Date: Tue, 26 Jun 2018 15:17:39 -0400
Subject: Add mit-plv/bedrock2-ci to CI

---
 .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 971a281ea..4e159ebdc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -306,6 +306,9 @@ validate:edge+flambda:
     OPAM_SWITCH: edge
     OPAM_VARIANT: "+flambda"
 
+ci-bedrock2:
+  <<: *ci-template
+
 ci-bignums:
   <<: *ci-template
 
-- 
cgit v1.2.3