From 332d85dc6c69fbcc2aae7b9d4af975fb43769b05 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 30 May 2017 23:43:09 -0400 Subject: Add coq-dpdgraph CI --- Makefile.ci | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile.ci') diff --git a/Makefile.ci b/Makefile.ci index e4c63af9d..35eadc7d7 100644 --- a/Makefile.ci +++ b/Makefile.ci @@ -3,6 +3,7 @@ CI_TARGETS=ci-all \ ci-bedrock-src \ ci-color \ ci-compcert \ + ci-coq-dpdgraph \ ci-coquelicot \ ci-cpdt \ ci-fiat-crypto \ -- cgit v1.2.3