Workaround CI solver limitation

talex5 · talex5 · commit fc68c00ac68b · 2023-07-08T09:18:35.000+01:00
This temporarily reverts #542 until the CI supports it.
diff --git a/eio_windows.opam b/eio_windows.opam
@@ -30,4 +30,4 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocaml-multicore/eio.git"
-available: [os-family = "windows"]
+#available: [os-family = "windows"]
diff --git a/eio_windows.opam.template b/eio_windows.opam.template
@@ -1 +1 @@
-available: [os-family = "windows"]
+#available: [os-family = "windows"]

Original file line number	Diff line number	Diff line change
`@@ -30,4 +30,4 @@ build: [`
`30`	`30`	`]`
`31`	`31`	`]`
`32`	`32`	`dev-repo: "git+https://github.com/ocaml-multicore/eio.git"`
`33`		`-available: [os-family = "windows"]`
	`33`	`+#available: [os-family = "windows"]`