From ca5aaa579d9fe87e999f543db0dcb66d2b78032c Mon Sep 17 00:00:00 2001
From: whonore
Date: Mon, 20 Jul 2020 14:35:49 -0400
Subject: Add Coqtail to CI

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

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 77d8bda671..85e4b965f9 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -17,6 +17,7 @@ CI_TARGETS= \
     ci-color \
     ci-compcert \
     ci-coq_dpdgraph \
+    ci-coqtail \
     ci-coquelicot \
     ci-corn \
     ci-cross_crypto \
-- 
cgit v1.2.3