#!/bin/bash ## on push branch~=gh-readonly-queue/main/.* ## on pull_request set -euxo pipefail # prevent "fatal: gc is already running" errors git config --global gc.autoDetach false export RUSTUP_HOME=/ci/cache/rustup export CARGO_HOME=/ci/cache/cargo export CARGO_TARGET_DIR=/ci/cache/target hashtime restore /ci/cache/filetime.json || true hashtime save /ci/cache/filetime.json cargo fmt -- --check # clone stm32-data-generated at the merge base # 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 set +e git clone --depth 1 --branch stm32-data-$(git merge-base HEAD upstream/main) https://github.com/embassy-rs/stm32-data-generated/ build -q DIFF_OK=$? set -e # move the sources directory out of the cache if it exists mv /ci/cache/sources ./sources || true ./d ci # move the sources directory into the cache mv ./sources /ci/cache/sources if [ $DIFF_OK -eq 0 ]; then # upload diff ( cd build git add . git diff --staged --color data | aha --black > /ci/artifacts/diff.html ) cat > /ci/comment.md <