Add overlay

vbgl · vbgl · commit 5dcd833eebed · 2026-03-13T13:28:44.000+01:00
diff --git a/dev/ci/user-overlays/21743-vbgl-jasmin.sh b/dev/ci/user-overlays/21743-vbgl-jasmin.sh
@@ -0,0 +1 @@
+overlay jasmin https://github.com/jasmin-lang/jasmin ci-coq-master

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+overlay jasmin https://github.com/jasmin-lang/jasmin ci-coq-master`