File tree Expand file tree Collapse file tree 2 files changed +8
-2
lines changed Expand file tree Collapse file tree 2 files changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -73,7 +73,7 @@ build: [
7373dev-repo: "git+https://github.com/goblint/analyzer.git"
7474# on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project
7575# also remember to generate/adjust goblint.opam.locked!
76- available: os-distribution != "alpine" & arch != "arm64"
76+ available: os-family != "bsd" & os- distribution != "alpine" & arch != "arm64"
7777# pin-depends: [
7878 # published goblint-cil 2.0.2 is currently up-to-date, so no pin needed
7979 # [ "goblint-cil.2.0.2" "git+https://github.com/goblint/cil.git#98598d94f796a63751e5a9d39c6b3a9fe1f32330" ]
9292 ]
9393}
9494x-commit-hash: "166a9b619b87456059de8f1839fb810621302efb"
95+ x-ci-accept-failures: [
96+ "macos-homebrew" # newer MacOS headers cannot be parsed (https://github.com/ocaml/opam-repository/pull/26307#issuecomment-2258080206)
97+ ]
Original file line number Diff line number Diff line change @@ -73,7 +73,7 @@ build: [
7373dev-repo: "git+https://github.com/goblint/analyzer.git"
7474# on `dune build` goblint.opam will be generated from goblint.opam.template and dune-project
7575# also remember to generate/adjust goblint.opam.locked!
76- available: os-distribution != "alpine" & arch != "arm64"
76+ available: os-family != "bsd" & os- distribution != "alpine" & arch != "arm64"
7777# pin-depends: [
7878 # published goblint-cil 2.0.3 is currently up-to-date, so no pin needed
7979 # [ "goblint-cil.2.0.3" "git+https://github.com/goblint/cil.git#d2760bacfbfdb25a374254de44f2ff1cb5f42abd" ]
9292 ]
9393}
9494x-commit-hash: "dbd6479a53dbf76f351f853bbc9092d659a8a631"
95+ x-ci-accept-failures: [
96+ "macos-homebrew" # newer MacOS headers cannot be parsed (https://github.com/ocaml/opam-repository/pull/26307#issuecomment-2258080206)
97+ ]
You can’t perform that action at this time.
0 commit comments