From 468377f078c5d01ec909f1927b329dec13dd46fd Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 22 Apr 2024 13:15:42 +0200 Subject: ci: Forbid compilation warnings --- flake.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/flake.nix b/flake.nix index 1ef810b7..5817ee33 100644 --- a/flake.nix +++ b/flake.nix @@ -52,6 +52,7 @@ version = "0.1.0"; duneVersion = "3"; src = ./compiler; + OCAMLPARAM="_,warn-error=+A"; # Turn all warnings into errors. propagatedBuildInputs = [ easy_logging charon.packages.${system}.charon-ml ] ++ (with ocamlPackages; [ -- cgit v1.2.3