diff options
author | Nadrieril | 2024-04-22 13:15:42 +0200 |
---|---|---|
committer | Nadrieril | 2024-04-22 13:15:42 +0200 |
commit | 468377f078c5d01ec909f1927b329dec13dd46fd (patch) | |
tree | fb13257398f8ea822eafbbbe9ac516d5bb828d50 | |
parent | 40e797fbf4d7bb47ef48597f25fda4e0b78633c7 (diff) |
ci: Forbid compilation warnings
Diffstat (limited to '')
-rw-r--r-- | flake.nix | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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; [ |