squash! Ignore CI failures due to unavailable depext

shym · shym · commit a2f04e8595be · 2025-11-05T18:32:13.000+01:00
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`	`+]`