From 9efc55c1dfedb32a0c69080fc96ebde31c6b58e8 Mon Sep 17 00:00:00 2001 From: Pierre Rousselin Date: Sat, 7 Oct 2023 09:01:23 +0200 Subject: [PATCH] remove overlays for coqprime and metacoq --- dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh diff --git a/dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh b/dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh deleted file mode 100644 index 0f1cad5f9e1ed..0000000000000 --- a/dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh +++ /dev/null @@ -1,2 +0,0 @@ -overlay coqprime https://github.com/Villetaneuse/coqprime remove_Int31 17977 -overlay metacoq https://github.com/Villetaneuse/metacoq remove_Int31 17977