From 621b8fff5dcd8ad481fd151c8e0fea6e7438d070 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 16 Apr 2024 11:41:21 +0200
Subject: Run sanity checks in CI only

---
 flake.nix | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index b638d4ee..29960c9c 100644
--- a/flake.nix
+++ b/flake.nix
@@ -81,8 +81,9 @@
             # the files which are checked out (we have to be careful about
             # files like lakefile.lean, and the user hand-written files)
 
-            # Run the tests - remark: we could remove the file
-            make test-all -j $NIX_BUILD_CORES
+            # Run the tests with extra sanity checks enabled
+            # Remark: we could remove the file
+            OPTIONS=-checks make test-all -j $NIX_BUILD_CORES
 
             # Check that there are no differences between the generated tests
             # and the original tests
@@ -153,10 +154,6 @@
           default = aeneas;
         };
         devShells.default = pkgs.mkShell {
-          # By default, tests run some sanity checks which are pretty slow.
-          # This disables these checks when developping locally.
-          OPTIONS = "";
-
           packages = [
             pkgs.ocamlPackages.ocaml
             pkgs.ocamlPackages.ocamlformat
-- 
cgit v1.2.3