Add freebsd x-ci-accept-failures from opam-repository

goblint · Nov 26, 2024 · ffe8c25 · ffe8c25
1 parent c79208b
commit ffe8c25
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/goblint-cil.opam b/goblint-cil.opam
@@ -65,3 +65,6 @@ depexts: [
   ["build-base"] {os-distribution = "alpine"}
 ]
 available: arch = "x86_64" | arch = "arm64"
+x-ci-accept-failures: [
+  "freebsd" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335)
+]
diff --git a/goblint-cil.opam.template b/goblint-cil.opam.template
@@ -4,3 +4,6 @@ depexts: [
   ["build-base"] {os-distribution = "alpine"}
 ]
 available: arch = "x86_64" | arch = "arm64"
+x-ci-accept-failures: [
+  "freebsd" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335)
+]