chore: Add overlays

TDiazT · TDiazT · commit 4cfacbdf844a · 2026-01-19T11:12:45.000+01:00
diff --git a/dev/ci/user-overlays/21450-TDiazT-elab-sorts.sh b/dev/ci/user-overlays/21450-TDiazT-elab-sorts.sh
@@ -0,0 +1,3 @@
+overlay lean_importer https://github.com/TDiazT/rocq-lean-import elab-sorts 21450
+overlay equations https://github.com/TDiazT/Coq-Equations elab-sorts 21450
+overlay elpi https://github.com/TDiazT/coq-elpi elab-sorts 21450

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+overlay lean_importer https://github.com/TDiazT/rocq-lean-import elab-sorts 21450`
	`2`	`+overlay equations https://github.com/TDiazT/Coq-Equations elab-sorts 21450`
	`3`	`+overlay elpi https://github.com/TDiazT/coq-elpi elab-sorts 21450`