From 0eba1c65935018556d88727af0946e26b6229499 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Tue, 30 Apr 2024 12:51:14 +0200 Subject: [PATCH] Overlay for warn on auto Prop lowering --- dev/ci/user-overlays/18989-SkySkimmer-warn-auto-lower.sh | 1 + 1 file changed, 1 insertion(+) create mode 100644 dev/ci/user-overlays/18989-SkySkimmer-warn-auto-lower.sh diff --git a/dev/ci/user-overlays/18989-SkySkimmer-warn-auto-lower.sh b/dev/ci/user-overlays/18989-SkySkimmer-warn-auto-lower.sh new file mode 100644 index 000000000000..f7ff010814a7 --- /dev/null +++ b/dev/ci/user-overlays/18989-SkySkimmer-warn-auto-lower.sh @@ -0,0 +1 @@ +overlay elpi https://github.com/SkySkimmer/coq-elpi warn-auto-lower 18989