ci: fix diff generation for PRs from forks.
This commit is contained in:
parent
1e9067e0f0
commit
2304100192
4
.github/ci/build.sh
vendored
4
.github/ci/build.sh
vendored
@ -15,7 +15,9 @@ cargo fmt -- --check
|
||||
|
||||
# clone stm32-data-generated at the merge base
|
||||
# so the diff will show this PR's effect
|
||||
git clone --depth 1 --branch stm32-data-$(git merge-base HEAD main) https://github.com/embassy-rs/stm32-data-generated/ build
|
||||
git remote add upstream https://github.com/embassy-rs/stm32-data
|
||||
git fetch --depth 1 upstream main
|
||||
git clone --depth 1 --branch stm32-data-$(git merge-base HEAD upstream/main) https://github.com/embassy-rs/stm32-data-generated/ build
|
||||
|
||||
./d ci
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user