diff options
| author | Ulf Lilleengen <[email protected]> | 2025-09-22 10:38:20 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-09-22 10:38:20 +0200 |
| commit | e9232bfad31c8a0c8567fa092a323f186bd99eb5 (patch) | |
| tree | 914952e6ff6d434380b574a8c9f6b44c8cee979f /.github/ci/janitor.sh | |
| parent | d1b55faace4b5059c726d94dd2d7f1ad3805ab48 (diff) | |
| parent | 768182545aa600811c480a1ab298c590ce1093bc (diff) | |
Merge branch 'main' into add-nrf-rtc-driver
Diffstat (limited to '.github/ci/janitor.sh')
| -rwxr-xr-x | .github/ci/janitor.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.github/ci/janitor.sh b/.github/ci/janitor.sh new file mode 100755 index 000000000..bd04f47fc --- /dev/null +++ b/.github/ci/janitor.sh | |||
| @@ -0,0 +1,15 @@ | |||
| 1 | #!/bin/bash | ||
| 2 | ## on push branch~=gh-readonly-queue/main/.* | ||
| 3 | ## on pull_request | ||
| 4 | |||
| 5 | set -euo pipefail | ||
| 6 | |||
| 7 | export RUSTUP_HOME=/ci/cache/rustup | ||
| 8 | export CARGO_HOME=/ci/cache/cargo | ||
| 9 | export CARGO_TARGET_DIR=/ci/cache/target | ||
| 10 | export PATH=$CARGO_HOME/bin:$PATH | ||
| 11 | |||
| 12 | cargo install --git https://github.com/embassy-rs/cargo-embassy-devtool --locked --rev 3ca80f7065acbe0b69b7da463fab60e744f9de79 | ||
| 13 | |||
| 14 | cargo embassy-devtool check-crlf | ||
| 15 | cargo embassy-devtool check-manifest | ||
