From 0cf45bd409d110a0ba42e683e9b800188ced0216 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Fri, 17 Jan 2025 15:16:39 +0100 Subject: [PATCH] WIP --- tools/ci_setup.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci_setup.ml b/tools/ci_setup.ml index be933f8d72..f361e6fecd 100644 --- a/tools/ci_setup.ml +++ b/tools/ci_setup.ml @@ -56,7 +56,7 @@ let dune_workspace = (_ (env-vars (TESTING_FRAMEWORK inline-test)) (js_of_ocaml (enabled_if false)) - (flags :standard -warn-error -7-8-27-30-32-34-37-49-52-55 -w -7-27-30-32-34-37-49-52-55-58-67-69))) + (flags :standard -alert -all -warn-error -7-8-27-30-32-34-37-49-52-55 -w -7-27-30-32-34-37-49-52-55-58-67-69))) |} let node_wrapper =