diff --git a/.github/workflows/linux-500-debug.yml b/.github/workflows/linux-500-debug.yml
index 4671b67a1..79d1fe826 100644
--- a/.github/workflows/linux-500-debug.yml
+++ b/.github/workflows/linux-500-debug.yml
@@ -12,5 +12,5 @@ jobs:
     with:
       compiler_ref: refs/tags/5.0.0
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240
diff --git a/.github/workflows/linux-51x-debug.yml b/.github/workflows/linux-51x-debug.yml
index ab29d0b8f..7d60ed721 100644
--- a/.github/workflows/linux-51x-debug.yml
+++ b/.github/workflows/linux-51x-debug.yml
@@ -12,5 +12,5 @@ jobs:
     with:
       compiler_ref: refs/tags/5.1.1
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240
diff --git a/.github/workflows/linux-520-debug.yml b/.github/workflows/linux-520-debug.yml
index 757b3fedd..568cce86c 100644
--- a/.github/workflows/linux-520-debug.yml
+++ b/.github/workflows/linux-520-debug.yml
@@ -16,5 +16,5 @@ jobs:
     with:
       compiler_ref: refs/tags/5.2.0
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240
diff --git a/.github/workflows/linux-530-trunk-debug.yml b/.github/workflows/linux-530-trunk-debug.yml
index 78c6b32cd..03728baa5 100644
--- a/.github/workflows/linux-530-trunk-debug.yml
+++ b/.github/workflows/linux-530-trunk-debug.yml
@@ -16,5 +16,5 @@ jobs:
     with:
       compiler_ref: refs/heads/5.3
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240
diff --git a/.github/workflows/linux-540-trunk-debug.yml b/.github/workflows/linux-540-trunk-debug.yml
index 3f5877301..5c65c4e22 100644
--- a/.github/workflows/linux-540-trunk-debug.yml
+++ b/.github/workflows/linux-540-trunk-debug.yml
@@ -16,5 +16,5 @@ jobs:
     with:
       compiler_ref: refs/heads/trunk
       dune_profile: 'debug-runtime'
-      runparam: 's=4096,v=0,V=1'
+      runparam: 's=4096,V=1'
       timeout: 240
diff --git a/test/dune b/test/dune
index be80d1218..3658ae245 100644
--- a/test/dune
+++ b/test/dune
@@ -12,8 +12,9 @@
  (package qcheck-multicoretests-util)
  (libraries qcheck-multicoretests-util)
  (action
-  (setenv MCTUTILS_TRUNCATE ""
-   (run %{dep:util_pp.exe}))))
+  (setenv OCAMLRUNPARAM "%{env:OCAMLRUNPARAM=b},v=0"
+   (setenv MCTUTILS_TRUNCATE ""
+    (run %{dep:util_pp.exe})))))
 
 (rule
  (alias runtest)
@@ -21,8 +22,9 @@
  (action
   (progn
    (with-outputs-to util_pp_trunc150.output
-    (setenv MCTUTILS_TRUNCATE 150
-     (run %{dep:util_pp.exe})))
+    (setenv OCAMLRUNPARAM "%{env:OCAMLRUNPARAM=b},v=0"
+     (setenv MCTUTILS_TRUNCATE 150
+      (run %{dep:util_pp.exe}))))
    (diff? util_pp_trunc150.expected util_pp_trunc150.output))))
 
 (rule
@@ -31,8 +33,9 @@
  (action
   (progn
    (with-outputs-to util_pp_trunc79.output
-    (setenv MCTUTILS_TRUNCATE 79
-     (run %{dep:util_pp.exe})))
+    (setenv OCAMLRUNPARAM "%{env:OCAMLRUNPARAM=b},v=0"
+     (setenv MCTUTILS_TRUNCATE 79
+      (run %{dep:util_pp.exe}))))
    (diff? util_pp_trunc79.expected util_pp_trunc79.output))))
 
 (rule
@@ -41,8 +44,9 @@
  (action
   (progn
    (with-outputs-to util_pp_trunc5.output
-    (setenv MCTUTILS_TRUNCATE 5
-     (run %{dep:util_pp.exe})))
+    (setenv OCAMLRUNPARAM "%{env:OCAMLRUNPARAM=b},v=0"
+     (setenv MCTUTILS_TRUNCATE 5
+      (run %{dep:util_pp.exe}))))
    (diff? util_pp_trunc5.expected util_pp_trunc5.output))))
 
 (executable
@@ -91,7 +95,9 @@
  (package qcheck-stm)
  (libraries qcheck-stm.sequential threads.posix)
  (action
-  (with-accepted-exit-codes 1 (run ./%{test} --seed 229109553))))
+  (with-accepted-exit-codes 1
+   (setenv OCAMLRUNPARAM "%{env:OCAMLRUNPARAM=b},v=0"
+    (run ./%{test} --seed 229109553)))))
 
 (test
  (name stm_next_state_exc)