From ffe8c25ab38424b9b7bee3290c4b6c2cf45a59b7 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Tue, 26 Nov 2024 10:52:56 +0200 Subject: [PATCH] Add freebsd x-ci-accept-failures from opam-repository --- goblint-cil.opam | 3 +++ goblint-cil.opam.template | 3 +++ 2 files changed, 6 insertions(+) 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) +]