wtf
This commit is contained in:
parent
4d58d2d664
commit
9b5d631059
5
.github/ci/build.sh
vendored
5
.github/ci/build.sh
vendored
@ -2,7 +2,7 @@
|
|||||||
## on push branch~=gh-readonly-queue/main/.*
|
## on push branch~=gh-readonly-queue/main/.*
|
||||||
## on pull_request
|
## on pull_request
|
||||||
|
|
||||||
set -euo pipefail
|
set -euxo pipefail
|
||||||
|
|
||||||
export RUSTUP_HOME=/ci/cache/rustup
|
export RUSTUP_HOME=/ci/cache/rustup
|
||||||
export CARGO_HOME=/ci/cache/cargo
|
export CARGO_HOME=/ci/cache/cargo
|
||||||
@ -24,7 +24,8 @@ git clone --depth 1 --branch stm32-data-$(git merge-base HEAD upstream/main) htt
|
|||||||
# upload diff
|
# upload diff
|
||||||
(
|
(
|
||||||
cd build
|
cd build
|
||||||
git diff --color data | aha --black > /ci/artifacts/diff.html
|
git add .
|
||||||
|
git diff --staged --color data | aha --black > /ci/artifacts/diff.html
|
||||||
)
|
)
|
||||||
|
|
||||||
# upload generated data to a fake git repo at
|
# upload generated data to a fake git repo at
|
||||||
|
2
d
2
d
@ -11,7 +11,7 @@ case "$CMD" in
|
|||||||
rm -rf ./sources/
|
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/
|
||||||
cd ./sources/
|
cd ./sources/
|
||||||
git checkout ca89656b
|
git checkout a2062c088cf299bd3dc5128eeaa96e07fff2087c
|
||||||
;;
|
;;
|
||||||
install-chiptool)
|
install-chiptool)
|
||||||
cargo install --git https://github.com/embassy-rs/chiptool
|
cargo install --git https://github.com/embassy-rs/chiptool
|
||||||
|
Loading…
x
Reference in New Issue
Block a user