aboutsummaryrefslogtreecommitdiff
path: root/.github/ci/janitor.sh
blob: bd04f47fcf50116507acd1527570858ad6a3b3fc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/bin/bash
## on push branch~=gh-readonly-queue/main/.*
## on pull_request

set -euo pipefail

export RUSTUP_HOME=/ci/cache/rustup
export CARGO_HOME=/ci/cache/cargo
export CARGO_TARGET_DIR=/ci/cache/target
export PATH=$CARGO_HOME/bin:$PATH

cargo install --git https://github.com/embassy-rs/cargo-embassy-devtool --locked --rev 3ca80f7065acbe0b69b7da463fab60e744f9de79

cargo embassy-devtool check-crlf
cargo embassy-devtool check-manifest