Shallow clone git repos to save space&time - #1317

Open

pedr-nz wants to merge 5 commits into

pedr-nz:shallow-clone-libs

Commits on Jun 29, 2026

Shallow clone git repos to save space&time
Andrew PEDREA Young
committed
639a9e0

Commits on Jun 30, 2026

Fix, mistaken a branch as a tag
Andrew PEDREA Young
committed
495fd95
Also pin Trilinos' commit hash
Andrew PEDREA Young
committed
0427404
Allow git repos to not be pinned and just follow HEAD
Andrew PEDREA Young
committed
9eb5f97

Commits on Jul 3, 2026

Pinned the wrong hash
Andrew PEDREA Young
committed
e6ceb10