From adaa829f073084834d77f5bec7e3eb219023973c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Fri, 22 Sep 2023 14:02:58 +0200 Subject: [PATCH] Overlays for head reduction flag PR --- dev/ci/user-overlays/17503-SkySkimmer-redexpr.sh | 1 + 1 file changed, 1 insertion(+) create mode 100644 dev/ci/user-overlays/17503-SkySkimmer-redexpr.sh 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