From 4a934626278ac6b60501e9be6b231b73dcc3b315 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Wed, 23 Oct 2024 14:16:04 +0200 Subject: [PATCH] Silence explicit GC test under the debug runtime, which by default will use v=63 adding lots of CI log noise --- src/gc/dune | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/gc/dune b/src/gc/dune index 98ebfde4..68cf172d 100644 --- a/src/gc/dune +++ b/src/gc/dune @@ -15,7 +15,9 @@ (package multicoretests) (flags (:standard -w -37)) (libraries pagesize qcheck-stm.sequential qcheck-stm.domain) - (action (run %{test} --verbose)) + (action + (setenv OCAMLRUNPARAM "%{env:OCAMLRUNPARAM=b},v=1" + (run %{test} --verbose))) ) (test