1 files changed, 0 insertions, 3 deletions
diff --git a/Makefile.ci b/Makefile.ci
index 2df6a792b6..6805304f55 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -27,7 +27,6 @@ CI_TARGETS= \
     ci-fiat-crypto-legacy \
     ci-fiat-parsers \
     ci-flocq \
-    ci-formal-topology \
     ci-geocoq \
     ci-coqhammer \
     ci-hott \
@@ -63,8 +62,6 @@ ci-corn: ci-math-classes
 ci-simple-io: ci-ext-lib
 ci-quickchick: ci-ext-lib ci-simple-io
 
-ci-formal-topology: ci-corn
-
 # Generic rule, we use make to ease CI integration
 $(CI_TARGETS): ci-%:
 	+./dev/ci/ci-wrapper.sh $*