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