We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 93e0385 commit afd93d2Copy full SHA for afd93d2
packages/goblint/goblint.2.4.0/opam
@@ -114,4 +114,5 @@ url {
114
x-commit-hash: "b129fab7de3ab5fd85d2f1340b2d9c5a4e4e2653"
115
x-ci-accept-failures: [
116
"macos-homebrew" # newer MacOS headers cannot be parsed (https://github.com/ocaml/opam-repository/pull/26307#issuecomment-2258080206)
117
+ "opensuse-tumbleweed" # not GNU diff, so some cram tests fail (https://discuss.ocaml.org/t/opensuse-and-opam-tests/14641/2)
118
]
0 commit comments