diff --git a/dev/ci/user-overlays/17503-SkySkimmer-redexpr.sh b/dev/ci/user-overlays/17503-SkySkimmer-redexpr.sh
new file mode 100644
index 0000000000000..87dfca88e2f38
--- /dev/null
+++ b/dev/ci/user-overlays/17503-SkySkimmer-redexpr.sh
@@ -0,0 +1 @@
+overlay serapi https://github.com/SkySkimmer/coq-serapi redexpr 17503