From e41a13eefcf7762fc9cf9fb901e3d88f5773bea9 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 1 Jun 2017 15:34:38 -0400
Subject: Make coq-dpdgraph allow-fail

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 491a6c424..5cae5fcd3 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -63,6 +63,7 @@ env:
 matrix:
 
   allow_failures:
+  - env: TEST_TARGET="ci-coq-dpdgraph" EXTRA_OPAM="ocamlgraph"
   - env: TEST_TARGET="ci-geocoq"
 
   include:
-- 
cgit v1.2.3