diff options
Diffstat (limited to '')
| -rw-r--r-- | flake.nix | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |