Ignore CI failures due to unavailable depext or incompatible GCC

shym · jmid · shym · commit 27d77bf6c4f2 · 2025-11-05T20:15:58.000+01:00
Co-authored-by: Jan Midtgaard &lt;mail@janmidtgaard.dk&gt;
diff --git a/packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam b/packages/conf-aarch64-linux-gnu-gcc/conf-aarch64-linux-gnu-gcc.1/opam
@@ -20,3 +20,12 @@ Please install aarch64-linux-gnu-gcc manually, as there is no known package
 for it for your distribution."""
     {failure}
 x-maintenance-intent: ["(latest)"]
+x-ci-accept-failures: [
+  "alpine-3.22"
+  "centos-9"
+  "centos-10"
+  "opensuse-15.6"
+  "opensuse-tumbleweed"
+  "freebsd-14.3"
+  "macos-homebrew"
+]
diff --git a/packages/ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0/opam b/packages/ocaml-unikraft-backend-firecracker-x86_64/ocaml-unikraft-backend-firecracker-x86_64.0.20.0/opam
@@ -37,3 +37,8 @@ url {
 }
 available: os = "linux"
 x-maintenance-intent: ["(latest)"]
+x-ci-accept-failures: [
+  "debian-11" "opensuse-15.6"
+  # Unikraft 0.20.0 is incompatible with the version of GCC in those
+  # distributions
+]
diff --git a/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0/opam b/packages/ocaml-unikraft-backend-qemu-x86_64/ocaml-unikraft-backend-qemu-x86_64.0.20.0/opam
@@ -37,3 +37,8 @@ url {
 }
 available: os = "linux"
 x-maintenance-intent: ["(latest)"]
+x-ci-accept-failures: [
+  "debian-11" "opensuse-15.6"
+  # Unikraft 0.20.0 is incompatible with the version of GCC in those
+  # distributions
+]

Original file line number	Diff line number	Diff line change
`@@ -37,3 +37,8 @@ url {`
`37`	`37`	`}`
`38`	`38`	`available: os = "linux"`
`39`	`39`	`x-maintenance-intent: ["(latest)"]`
	`40`	`+x-ci-accept-failures: [`
	`41`	`+ "debian-11" "opensuse-15.6"`
	`42`	`+ # Unikraft 0.20.0 is incompatible with the version of GCC in those`
	`43`	`+ # distributions`
	`44`	`+]`