Add overlays.

ppedrot · ppedrot · commit 80c2d13539ce · 2025-12-15T16:25:56.000+01:00
diff --git a/dev/ci/user-overlays/21424-ppedrot-chase-pconstraint-context-set.sh b/dev/ci/user-overlays/21424-ppedrot-chase-pconstraint-context-set.sh
@@ -0,0 +1 @@
+overlay elpi https://github.com/ppedrot/coq-elpi chase-pconstraint-context-set 21424

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+overlay elpi https://github.com/ppedrot/coq-elpi chase-pconstraint-context-set 21424`