1 files changed, 0 insertions, 23 deletions
diff --git a/dev/ci/user-overlays/08726-herbelin-master+more-stable-meaning-to-Discharge-flag.sh b/dev/ci/user-overlays/08726-herbelin-master+more-stable-meaning-to-Discharge-flag.sh
deleted file mode 100644
index 242b177d71..0000000000
--- a/dev/ci/user-overlays/08726-herbelin-master+more-stable-meaning-to-Discharge-flag.sh
+++ /dev/null
@@ -1,23 +0,0 @@
-if [ "$CI_PULL_REQUEST" = "8726" ] || [ "$CI_BRANCH" = "master+more-stable-meaning-to-Discharge-flag" ]; then
-
-    fiat_parsers_CI_BRANCH=master+change-for-coq-pr8726
-    fiat_parsers_CI_REF=master+change-for-coq-pr8726
-    fiat_parsers_CI_GITURL=https://github.com/herbelin/fiat
-
-    elpi_CI_BRANCH=coq-master+fix-global-pr8726
-    elpi_CI_REF=coq-master+fix-global-pr8726
-    elpi_CI_GITURL=https://github.com/herbelin/coq-elpi
-
-    equations_CI_BRANCH=master+fix-global-pr8726
-    equations_CI_REF=master+fix-global-pr8726
-    equations_CI_GITURL=https://github.com/herbelin/Coq-Equations
-
-    mtac2_CI_BRANCH=master+fix-global-pr8726
-    mtac2_CI_REF=master+fix-global-pr8726
-    mtac2_CI_GITURL=https://github.com/herbelin/Mtac2
-
-    paramcoq_CI_BRANCH=master+fix-global-pr8726
-    paramcoq_CI_REF=master+fix-global-pr8726
-    paramcoq_CI_GITURL=https://github.com/herbelin/paramcoq
-
-fi