renaming in Makefile.ci and ci scripts to avoid inconsistencies

1 files changed, 15 insertions, 15 deletions

diff --git a/Makefile.ci b/Makefile.ci
index b545c9de45..af92d476ba 100644
--- a/Makefile.ci
+++ b/Makefile.ci
@@ -19,22 +19,22 @@ CI_TARGETS= \
     ci-coq_dpdgraph \
     ci-coquelicot \
     ci-corn \
-    ci-cross-crypto \
-    ci-coq-tools \
+    ci-cross_crypto \
+    ci-coq_tools \
     ci-coqprime \
     ci-elpi \
-    ci-ext-lib \
+    ci-ext_lib \
     ci-equations \
-    ci-fcsl-pcm \
-    ci-fiat-crypto \
+    ci-fcsl_pcm \
+    ci-fiat_crypto \
     ci-fiat_parsers \
     ci-flocq \
     ci-geocoq \
     ci-coqhammer \
     ci-hott \
-    ci-iris-lambda-rust \
-    ci-math-classes \
-    ci-math-comp \
+    ci-lambda_rust \
+    ci-math_classes \
+    ci-mathcomp \
     ci-metacoq \
     ci-mtac2 \
     ci-paramcoq \
@@ -44,12 +44,12 @@ CI_TARGETS= \
     ci-relation_algebra \
     ci-rewriter \
     ci-sf \
-    ci-simple-io \
+    ci-simple_io \
     ci-stdlib2 \
     ci-tlc \
     ci-unimath \
     ci-unicoq \
-    ci-verdi-raft \
+    ci-verdi_raft \
     ci-vst
 
 .PHONY: ci-all $(CI_TARGETS)
@@ -64,16 +64,16 @@ ci-color: ci-bignums
 
 ci-coqprime: ci-bignums
 
-ci-math-classes: ci-bignums
+ci-math_classes: ci-bignums
 
-ci-corn: ci-math-classes
+ci-corn: ci-math_classes
 
 ci-mtac2: ci-unicoq
 
-ci-fiat-crypto: ci-coqprime ci-rewriter
+ci-fiat_crypto: ci-coqprime ci-rewriter
 
-ci-simple-io: ci-ext-lib
-ci-quickchick: ci-ext-lib ci-simple-io
+ci-simple_io: ci-ext_lib
+ci-quickchick: ci-ext_lib ci-simple_io
 
 ci-metacoq: ci-equations