Merge pull request #127 from AeneasVerif/fix-ci

Fix CI

1 files changed, 1 insertions, 1 deletions

diff --git a/flake.nix b/flake.nix
index 36910f45..b638d4ee 100644
--- a/flake.nix
+++ b/flake.nix
@@ -82,7 +82,7 @@
             # files like lakefile.lean, and the user hand-written files)
 
             # Run the tests - remark: we could remove the file
-            make tests -j $NIX_BUILD_CORES
+            make test-all -j $NIX_BUILD_CORES
 
             # Check that there are no differences between the generated tests
             # and the original tests