mirror of
https://github.com/zed-industries/zed.git
synced 2026-10-20 03:24:42 +00:00
2328e18cac
This PR cleans up the repository root a bit, moving some of the less relevant config files into the `.config` folder and removing unused ones. Release Notes: - N/A
23 lines
635 B
Bash
Executable file
23 lines
635 B
Bash
Executable file
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
if [[ ! " $* " == *" -p "* && ! " $* " == *" --package "* ]]; then
|
|
set -- "$@" --workspace
|
|
fi
|
|
|
|
set -x
|
|
"${CARGO:-cargo}" clippy "$@" --release --all-targets --all-features -- --deny warnings
|
|
|
|
# If local, run other checks if we have the tools installed.
|
|
if [[ -z "${GITHUB_ACTIONS+x}" ]]; then
|
|
which cargo-shear >/dev/null 2>&1 || exit 0
|
|
cargo shear --locked --deny-warnings
|
|
|
|
which typos >/dev/null 2>&1 || exit 0
|
|
typos --config .config/typos.toml
|
|
|
|
which buf >/dev/null 2>&1 || exit 0
|
|
buf lint crates/proto/proto
|
|
buf format --diff --exit-code crates/proto/proto
|
|
fi
|