From 939ebcc0ff3414083bb6d1bbd366aca64dfd4f6b Mon Sep 17 00:00:00 2001 From: ยท๐‘‘๐‘ด๐‘•๐‘‘๐‘ฉ๐‘ค Date: Fri, 2 Jan 2026 18:05:57 +0000 Subject: dune: make deprecations a warning locally I would *prefer* an error, but something is up wiรพ QCheck ATM --- dune-workspace | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-workspace b/dune-workspace index 1e3d1c8..2b855ff 100644 --- a/dune-workspace +++ b/dune-workspace @@ -2,4 +2,4 @@ (env (dev - (flags :standard -warn-error -27-32))) + (flags :standard -warn-error -3-27-32))) -- cgit v1.2.3