From 6ab72916ee1fee1a92a8498ce35b100877a541d9 Mon Sep 17 00:00:00 2001 From: gwenaelle Date: Thu, 7 Sep 2023 18:17:06 +0200 Subject: [PATCH] Fix opam file ? --- irmin-pack-tools.opam | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/irmin-pack-tools.opam b/irmin-pack-tools.opam index 3b494d2296..3cedbfbde7 100644 --- 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"}