We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b42c22e commit dfe1f49Copy full SHA for dfe1f49
packages/goblint-cil/goblint-cil.2.0.4/opam
@@ -72,3 +72,6 @@ url {
72
]
73
}
74
x-commit-hash: "317e26d48b06d5cdc4acff3df1a6824587052b53"
75
+x-ci-accept-failures: [
76
+ "freebsd" # installed cilly binary is not found for some reason (https://github.com/ocaml/opam-repository/pull/24812#issuecomment-1819231335)
77
+]
0 commit comments