diff --git a/nix/pin.sh b/nix/pin.sh index 8ebe8a0746ea..9cf0346e2ff3 100755 --- a/nix/pin.sh +++ b/nix/pin.sh @@ -4,6 +4,6 @@ # Find the root of the Mina repo ROOT=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )"/.. &> /dev/null && pwd ) # Update the submodules -pushd "$ROOT" && git submodule sync && git submodule update --init --recursive && popd +pushd "$ROOT" && git submodule sync && git submodule update --init --recursive --depth 1 && popd # Add the flake registry entry nix registry add mina "git+file://$ROOT?submodules=1"