irmin-git.3.2.0: disable tests on 32-bit platforms

Ioana Cristescu · web-flow · commit cc7cbce42f36 · 2022-03-28T11:31:41.000+02:00
diff --git a/packages/irmin-git/irmin-git.3.2.0/opam b/packages/irmin-git/irmin-git.3.2.0/opam
@@ -10,7 +10,8 @@ doc:          "https://mirage.github.io/irmin/"
 build: [
  ["dune" "subst"] {dev}
  ["dune" "build" "-p" name "-j" jobs]
- ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+ # Tests disabled on 32-bit platforms as the Dune build fails in CI:
+ ["dune" "runtest" "-p" name "-j" jobs] {with-test & arch != "arm32" & arch != "x86_32"}
 ]
 
 depends: [

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,8 @@ doc: "https://mirage.github.io/irmin/"`
`10`	`10`	`build: [`
`11`	`11`	`["dune" "subst"] {dev}`
`12`	`12`	`["dune" "build" "-p" name "-j" jobs]`
`13`		`- ["dune" "runtest" "-p" name "-j" jobs] {with-test}`
	`13`	`+ # Tests disabled on 32-bit platforms as the Dune build fails in CI:`
	`14`	`+ ["dune" "runtest" "-p" name "-j" jobs] {with-test & arch != "arm32" & arch != "x86_32"}`
`14`	`15`	`]`
`15`	`16`
`16`	`17`	`depends: [`