From 60f0b23aaf176fcc319455677c6c678b980ee3de Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 20 Aug 2019 13:38:59 +0200
Subject: [ci] Remove dead code.

TLC and CPDT are not actually tested. No point in keeping them as if they were.
---
 Makefile.ci | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 677fd734bf..de03ee8e84 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -18,7 +18,6 @@ CI_TARGETS= \
     ci-coq_dpdgraph \
     ci-coquelicot \
     ci-corn \
-    ci-cpdt \
     ci-cross-crypto \
     ci-elpi \
     ci-ext-lib \
@@ -41,7 +40,6 @@ CI_TARGETS= \
     ci-sf \
     ci-simple-io \
     ci-stdlib2 \
-    ci-tlc \
     ci-unimath \
     ci-verdi-raft \
     ci-vst
-- 
cgit v1.2.3