1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.ci b/Makefile.ci
index 8315c16c64..4fc0e69748 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -38,6 +38,7 @@ CI_TARGETS= \
     ci-paramcoq \
     ci-perennial \
     ci-quickchick \
+    ci-reduction_effects \
     ci-relation_algebra \
     ci-rewriter \
     ci-sf \