1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.ci b/Makefile.ci
index d549ed1b39..f7c2943cc2 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -24,6 +24,7 @@ CI_TARGETS= \
     ci-coq_performance_tests \
     ci-coq_tools \
     ci-coqprime \
+    ci-deriving \
     ci-elpi \
     ci-engine_bench \
     ci-ext_lib \
@@ -74,6 +75,7 @@ ci-color: ci-bignums
 
 ci-coqprime: ci-bignums
 ci-coquelicot: ci-mathcomp
+ci-deriving: ci-mathcomp
 ci-math_classes: ci-bignums
 
 ci-corn: ci-math_classes
@@ -86,9 +88,12 @@ ci-fiat_crypto_ocaml: ci-fiat_crypto
 ci-interval: ci-mathcomp ci-flocq ci-coquelicot ci-bignums
 ci-fourcolor: ci-mathcomp
 ci-oddorder: ci-mathcomp
+ci-fcsl_pcm: ci-mathcomp
+
+ci-geocoq: ci-mathcomp
 
 ci-simple_io: ci-ext_lib
-ci-quickchick: ci-ext_lib ci-simple_io
+ci-quickchick: ci-ext_lib ci-simple_io ci-mathcomp
 
 ci-metacoq: ci-equations