1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.ci b/Makefile.ci
index 20712b60..e86504b7 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -16,6 +16,7 @@ CI_TARGETS=ci-bedrock2 \
     ci-coquelicot \
     ci-corn \
     ci-cpdt \
+    ci-cross-crypto \
     ci-elpi \
     ci-ext-lib \
     ci-equations \
@@ -32,6 +33,7 @@ CI_TARGETS=ci-bedrock2 \
     ci-math-classes \
     ci-math-comp \
     ci-mtac2 \
+    ci-pidetop \
     ci-quickchick \
     ci-sf \
     ci-simple-io \