From 3f0d03175c63ecd4e58c876393825cc7f9d4cd56 Mon Sep 17 00:00:00 2001 From: Romain Calascibetta Date: Thu, 26 Dec 2024 14:23:22 +0100 Subject: [PATCH] Fix tests on arm32/x86_32 --- test/dune | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/dune b/test/dune index 9be7c5d..866a846 100644 --- a/test/dune +++ b/test/dune @@ -1,3 +1,5 @@ (test (name test) + (enabled_if %{arch_sixtyfour}) + ; error on arm32/x86_32, libcachet_stubs.so not found (libraries cachet alcotest))