1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.ci b/Makefile.ci
index f7c2943cc2..6eeb7581fe 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -44,6 +44,7 @@ CI_TARGETS= \
     ci-iris \
     ci-math_classes \
     ci-mathcomp \
+	ci-mczify \
     ci-menhir \
     ci-metacoq \
     ci-mtac2 \
@@ -89,6 +90,7 @@ ci-interval: ci-mathcomp ci-flocq ci-coquelicot ci-bignums
 ci-fourcolor: ci-mathcomp
 ci-oddorder: ci-mathcomp
 ci-fcsl_pcm: ci-mathcomp
+ci-mczify: ci-mathcomp
 
 ci-geocoq: ci-mathcomp