Merge PR coq#19820: Remove "stdlib2" from CI

Reviewed-by: proux01 Co-authored-by: proux01 <[email protected]>
SkySkimmer · Dec 3, 2024 · 5997073 · 5997073
2 parents 7870106 + 4cd810e
commit 5997073
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 26 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -830,9 +830,6 @@ library:ci-simple_io:
 library:ci-sf:
   extends: .ci-template
 
-library:ci-stdlib2:
-  extends: .ci-template-flambda
-
 library:ci-tlc:
   extends: .ci-template
 

diff --git a/Makefile.ci b/Makefile.ci
@@ -91,7 +91,6 @@ CI_TARGETS= \
     ci-smtcoq \
     ci-smtcoq_trakt \
     ci-stalmarck \
-    ci-stdlib2 \
     ci-tactician \
     ci-tlc \
     ci-trakt \

diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
@@ -416,12 +416,6 @@ project verdi "https://github.com/uwplse/verdi" "master"
 project verdi_raft "https://github.com/uwplse/verdi-raft" "master"
 # Contact @palmskog on github
 
-########################################################################
-# stdlib2
-########################################################################
-project stdlib2 "https://github.com/coq/stdlib2" "master"
-# Contact @maximedenes, @vbgl on github
-
 ########################################################################
 # argosy
 ########################################################################

diff --git a/dev/ci/ci-stdlib2.sh b/dev/ci/ci-stdlib2.sh