From 7eed898a0418fba38821594efe8f98a458d8bb10 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 16 Jun 2017 11:02:25 +0200
Subject: Add coq-dpdgraph to gitlab CI

---
 .gitlab-ci.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d5351f5738..92243b7573 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -259,6 +259,14 @@ ci-color:
 ci-compcert:
   <<: *ci-template
 
+ci-coq-dpdgraph:
+  <<: *ci-template
+  variables:
+    <<: *ci-template-vars
+    EXTRA_OPAM: "ocamlgraph"
+    EXTRA_PACKAGES: "autoconf"
+  allow_failure: true
+
 ci-coquelicot:
   <<: *ci-template
   variables:
-- 
cgit v1.2.3