From 80b2a82d25fc9117270b9a052e4071d87eb6755f Mon Sep 17 00:00:00 2001
From: Anton Trunov <anton.a.trunov@gmail.com>
Date: Fri, 20 Apr 2018 18:28:34 +0200
Subject: CI: add fcsl-pcm

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

(limited to 'Makefile.ci')

diff --git a/Makefile.ci b/Makefile.ci
index 3c26bf964..6b30f8723 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -17,6 +17,7 @@ CI_TARGETS=ci-bignums \
     ci-cpdt \
     ci-elpi \
     ci-equations \
+    ci-fcsl-pcm \
     ci-fiat-crypto \
     ci-fiat-parsers \
     ci-flocq \
-- 
cgit v1.2.3