aboutsummaryrefslogtreecommitdiff
path: root/.github/ci/janitor.sh
blob: 58ecb84751d5a8fff09ea6be5a1bb6702bf85f14 (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 2357881abb81a0a3672ff992e199963f9f63bb10

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