goblint-cil.2.0.8: exclude arm64 debian-13 from with-test

sim642 · jmid · sim642 · commit 27bb43c12e01 · 2025-10-01T11:40:07.000+03:00
Co-authored-by: Jan Midtgaard &lt;mail@janmidtgaard.dk&gt;
diff --git a/packages/goblint-cil/goblint-cil.2.0.8/opam b/packages/goblint-cil/goblint-cil.2.0.8/opam
@@ -52,7 +52,7 @@ build: [
     "-j"
     jobs
     "@install"
-    "@runtest" {with-test}
+    "@runtest" {with-test & (arch = "x86_64" | os != "linux")} # fails on arm64 debian-13
     "@doc" {with-doc}
   ]
 ]

Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,7 @@ build: [`
`52`	`52`	`"-j"`
`53`	`53`	`jobs`
`54`	`54`	`"@install"`
`55`		`- "@runtest" {with-test}`
	`55`	`+ "@runtest" {with-test & (arch = "x86_64" \| os != "linux")} # fails on arm64 debian-13`
`56`	`56`	`"@doc" {with-doc}`
`57`	`57`	`]`
`58`	`58`	`]`