Overlays for record field flags

SkySkimmer · SkySkimmer · commit 8cf16c98e22e · 2025-05-06T14:51:04.000+02:00
diff --git a/dev/ci/user-overlays/20605-SkySkimmer-simpl-proj-flags.sh b/dev/ci/user-overlays/20605-SkySkimmer-simpl-proj-flags.sh
@@ -0,0 +1 @@
+overlay elpi https://github.com/SkySkimmer/coq-elpi simpl-proj-flags 20605

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+overlay elpi https://github.com/SkySkimmer/coq-elpi simpl-proj-flags 20605`