mirror of
https://github.com/embassy-rs/embassy.git
synced 2025-09-27 20:30:29 +00:00
16 lines
441 B
Bash
Executable File
16 lines
441 B
Bash
Executable File
#!/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
|