Add overlay

proux01 · proux01 · commit dd65428497c8 · 2026-04-02T08:08:35.000+02:00
diff --git a/dev/ci/user-overlays/21849-proux01-warnerror-argument-scope-delimiter.sh b/dev/ci/user-overlays/21849-proux01-warnerror-argument-scope-delimiter.sh
@@ -0,0 +1 @@
+overlay fiat_parsers https://github.com/proux01/fiat rocq21849 21849

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+overlay fiat_parsers https://github.com/proux01/fiat rocq21849 21849`