ci: clone with more depth

This commit is contained in:
xoviat 2023-10-02 15:57:14 -05:00 committed by GitHub
parent 00894c8e3d
commit 1638192e54
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
.github/ci/build.sh vendored
View File

@ -16,7 +16,7 @@ cargo fmt -- --check
# clone stm32-data-generated at the merge base # clone stm32-data-generated at the merge base
# so the diff will show this PR's effect # so the diff will show this PR's effect
git remote add upstream https://github.com/embassy-rs/stm32-data git remote add upstream https://github.com/embassy-rs/stm32-data
git fetch --depth 1 upstream main git fetch --depth 15 upstream main
git clone --depth 1 --branch stm32-data-$(git merge-base HEAD upstream/main) https://github.com/embassy-rs/stm32-data-generated/ build git clone --depth 1 --branch stm32-data-$(git merge-base HEAD upstream/main) https://github.com/embassy-rs/stm32-data-generated/ build
./d ci ./d ci