Merge pull request #12 from lenianiva/feature/toolchain

feat: Shallow fetch
lenianiva · Oct 27, 2024 · 51e51a2 · 51e51a2
2 parents 6919763 + 324fde8
commit 51e51a2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/lake.nix b/lake.nix
@@ -12,6 +12,7 @@
   depToPackage = dep : let
     src = pkgs.lib.cleanSource (builtins.fetchGit {
       inherit (dep) url rev;
+      shallow = true;
     });
   in {
     inherit src;

diff --git a/overlay.nix b/overlay.nix
@@ -6,6 +6,7 @@ let
   readFromGit = args: readSrc (builtins.fetchGit args);
   readRev = rev: readFromGit {
     url = "https://github.com/leanprover/lean4.git";
+    shallow = true;
     inherit rev;
   };
   tags = builtins.mapAttrs (tag: manifest: readRev manifest.rev) manifests;