Add overlay for coq-elpi and serapi

herbelin · May 30, 2023 · 89d625a · 89d625a
1 parent 8ac02e2
commit 89d625a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dev/ci/user-overlays/17117-master+fix-printing-custom-no-level.sh b/dev/ci/user-overlays/17117-master+fix-printing-custom-no-level.sh
@@ -0,0 +1,2 @@
+overlay elpi https://github.com/herbelin/coq-elpi coq-master+adapt-coq-pr13025-fix-custom-entry-no-level-printing 17117 master+fix-printing-custom-no-level
+overlay serapi https://github.com/herbelin/coq-serapi main+adapt-coq-pr17117-renamings 17117 master+fix-printing-custom-no-level