overlay for relocatable mode

SkySkimmer · Jan 16, 2025 · 9500033 · 9500033
1 parent 60925bb
commit 9500033
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dev/ci/user-overlays/19901-SkySkimmer-configure-clean.sh b/dev/ci/user-overlays/19901-SkySkimmer-configure-clean.sh
@@ -0,0 +1 @@
+overlay coq_lsp https://github.com/SkySkimmer/coq-lsp configure-clean 19901