diff --git a/goblint-cil.opam b/goblint-cil.opam index 55ef84c02..65a69c7d4 100644 --- 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 index f48259706..6fcaf5e0c 100644 --- 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) +]