diff --git a/.github/ci/build.sh b/.github/ci/build.sh index fe6ac4d..e2ec747 100755 --- a/.github/ci/build.sh +++ b/.github/ci/build.sh @@ -17,7 +17,7 @@ cargo fmt -- --check # so the diff will show this PR's effect git remote add upstream https://github.com/embassy-rs/stm32-data 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 -q # move the sources directory out of the cache if it exists mv /ci/cache/sources ./sources || true diff --git a/.github/ci/generated.sh b/.github/ci/generated.sh index 575efed..4d95b59 100755 --- a/.github/ci/generated.sh +++ b/.github/ci/generated.sh @@ -12,7 +12,7 @@ export CARGO_TARGET_DIR=/ci/cache/target hashtime restore /ci/cache/filetime.json || true hashtime save /ci/cache/filetime.json -git clone --depth 1 https://github.com/embassy-rs/stm32-data-generated/ build +git clone --depth 1 https://github.com/embassy-rs/stm32-data-generated/ build -q ./d ci COMMIT=$(git rev-parse HEAD) diff --git a/d b/d index 3ba3c08..a230440 100755 --- a/d +++ b/d @@ -10,7 +10,7 @@ shift case "$CMD" in download-all) rm -rf ./sources/ - git clone https://github.com/embassy-rs/stm32-data-sources.git ./sources/ + git clone https://github.com/embassy-rs/stm32-data-sources.git ./sources/ -q cd ./sources/ git checkout $REV ;;