Skip to content

Commit

Permalink
fix: ci
Browse files Browse the repository at this point in the history
  • Loading branch information
gabyx committed Jun 28, 2024
1 parent ceea38a commit 82d4189
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 0 deletions.
3 changes: 3 additions & 0 deletions tools/format-rust.sh
Original file line number Diff line number Diff line change
Expand Up @@ -15,4 +15,7 @@ if ci_is_running; then
fmt_args+=("--check")
fi

cargo --version
cargo fmt --version

cargo fmt "${fmt_args[@]}" "$@"
4 changes: 4 additions & 0 deletions tools/lint-rust.sh
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,10 @@ ROOT_DIR=$(git rev-parse --show-toplevel)

cd "$ROOT_DIR"

cargo --version
cargo clippy --version
cargo miri --version

print_info "Run Rust Clippy linter."
cargo clippy --no-deps -- -A clippy::needless_return "$@" ||
die "Rust clippy failed."
Expand Down

0 comments on commit 82d4189

Please sign in to comment.