overlay

gares · gares · commit a7e107cc6574 · 2022-04-28T10:31:36.000+02:00
diff --git a/dev/ci/user-overlays/15948-gares-bump-elpi.sh b/dev/ci/user-overlays/15948-gares-bump-elpi.sh
@@ -0,0 +1,3 @@
+overlay elpi https://github.com/gares/coq-elpi bump-elpi 15948
+
+overlay hierarchy_builder https://github.com/gares/hierarchy-builder bump-elpi 15948

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+overlay elpi https://github.com/gares/coq-elpi bump-elpi 15948`
	`2`	`+`
	`3`	`+overlay hierarchy_builder https://github.com/gares/hierarchy-builder bump-elpi 15948`