Mark incompatibility with Debian 12 on x86_32

ocurrent · Jul 12, 2024 · f7a5243 · f7a5243
1 parent 6787dfb
commit f7a5243
Show file tree

Hide file tree

Showing 8 changed files with 16 additions and 0 deletions.
diff --git a/opam-repo-ci-api.opam b/opam-repo-ci-api.opam
@@ -36,3 +36,5 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git"
+# See https://github.com/ocurrent/ocaml-ci/issues/931
+available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")
diff --git a/opam-repo-ci-api.opam.template b/opam-repo-ci-api.opam.template
@@ -0,0 +1,2 @@
+# See https://github.com/ocurrent/ocaml-ci/issues/931
+available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")
diff --git a/opam-repo-ci-client.opam b/opam-repo-ci-client.opam
@@ -38,3 +38,5 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git"
+# See https://github.com/ocurrent/ocaml-ci/issues/931
+available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")
diff --git a/opam-repo-ci-client.opam.template b/opam-repo-ci-client.opam.template
@@ -0,0 +1,2 @@
+# See https://github.com/ocurrent/ocaml-ci/issues/931
+available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")
diff --git a/opam-repo-ci-service.opam b/opam-repo-ci-service.opam
@@ -64,3 +64,5 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git"
+# See https://github.com/ocurrent/ocaml-ci/issues/931
+available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")
diff --git a/opam-repo-ci-service.opam.template b/opam-repo-ci-service.opam.template
@@ -0,0 +1,2 @@
+# See https://github.com/ocurrent/ocaml-ci/issues/931
+available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")
diff --git a/opam-repo-ci-web.opam b/opam-repo-ci-web.opam
@@ -55,3 +55,5 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/ocurrent/opam-repo-ci.git"
+# See https://github.com/ocurrent/ocaml-ci/issues/931
+available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")
diff --git a/opam-repo-ci-web.opam.template b/opam-repo-ci-web.opam.template
@@ -0,0 +1,2 @@
+# See https://github.com/ocurrent/ocaml-ci/issues/931
+available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		# See https://github.com/ocurrent/ocaml-ci/issues/931
		available: !(os-distribution = "debian" & os-version = "12" & arch = "x86_32")