Fix opam file ?

mirage · Sep 7, 2023 · 6ab7291 · 6ab7291
1 parent 18ee9ac
commit 6ab7291
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/irmin-pack-tools.opam b/irmin-pack-tools.opam
@@ -15,6 +15,10 @@ build: [
 
 available: arch != "arm32" & arch != "x86_32"
 
+x-ci-accept-failures: [
+  "debian-10"
+]
+
 depends: [
   "ocaml"       {>= "4.01.0"}
   "dune"        {>= "2.9.0"}