We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 14140ea + a590e1e commit 307b2b1Copy full SHA for 307b2b1
nix/pin.sh
@@ -4,6 +4,6 @@
4
# Find the root of the Mina repo
5
ROOT=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )"/.. &> /dev/null && pwd )
6
# Update the submodules
7
-pushd "$ROOT" && git submodule sync && git submodule update --init --recursive && popd
+pushd "$ROOT" && git submodule sync && git submodule update --init --recursive --depth 1 && popd
8
# Add the flake registry entry
9
nix registry add mina "git+file://$ROOT?submodules=1"
0 commit comments