Merge branch 'dev' into coverage

hazelgrove · Oct 8, 2024 · d38dc2c · d38dc2c
2 parents 88d81a3 + c1c0eba
commit d38dc2c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dune-workspace b/dune-workspace
@@ -1,9 +1,10 @@
 (lang dune 3.16)
 
+; List of warning codes found at https://ocaml.org/manual/5.2/comp.html#s:comp-options
 (env
  (dev
   (flags
-   (:standard -warn-error -A)))
+   (:standard -warn-error +A-26-27-K-58))) ; Disable some unused warnings.
  (release
   (flags
    (:standard -warn-error +A-58))))