Skip to content

Commit 161545d

Browse files
authored
Specify restrictions for checked_oint v0.2.0
1 parent 4dc0124 commit 161545d

File tree

1 file changed

+11
-0
lines changed
  • packages/checked_oint/checked_oint.0.2.0

1 file changed

+11
-0
lines changed

packages/checked_oint/checked_oint.0.2.0/opam

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,17 @@ depends: [
1717
"alcotest" {>= "1.7.0"}
1818
"odoc" {with-doc}
1919
]
20+
available: arch != "arm32" & arch != "x86_32" & arch != "ppc64"
21+
x-ci-accept-failures: [
22+
"fedora-38"
23+
"fedora-39"
24+
"fedora-40"
25+
"opensuse-15.5"
26+
"opensuse-tumbleweed"
27+
"oraclelinux-8"
28+
"oraclelinux-9"
29+
"freebsd"
30+
]
2031
build: [
2132
["dune" "subst"] {dev}
2233
[

0 commit comments

Comments
 (0)