Add overlays

proux01 · proux01 · commit 5bae0b35909e · 2026-04-02T14:10:40.000+02:00
diff --git a/dev/ci/user-overlays/21851-proux01-warnerror-require-coq.sh b/dev/ci/user-overlays/21851-proux01-warnerror-require-coq.sh
@@ -0,0 +1,3 @@
+overlay fiat_parsers https://github.com/proux01/fiat rocq21851 21851
+overlay rewriter https://github.com/proux01/rewriter rocq21851 21851
+overlay elpi https://github.com/proux01/coq-elpi rocq21851 21851

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+overlay fiat_parsers https://github.com/proux01/fiat rocq21851 21851`
	`2`	`+overlay rewriter https://github.com/proux01/rewriter rocq21851 21851`
	`3`	`+overlay elpi https://github.com/proux01/coq-elpi rocq21851 21851`