From 9826bbd4eb1ded394d38a94abff25baa71823221 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <mattam@mattam.org>
Date: Sun, 22 Oct 2017 10:46:14 +0200
Subject: Add Equations to CI

---
 Makefile.ci | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 0b2cbb663..a17d4ddf7 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -5,6 +5,7 @@ CI_TARGETS=ci-all \
     ci-coq-dpdgraph \
     ci-coquelicot \
     ci-cpdt \
+    ci-equations \
     ci-fiat-crypto \
     ci-fiat-parsers \
     ci-flocq \
-- 
cgit v1.2.3