a084434e14
Fork point for agent-zed. Editor core retained; AI/telemetry/cloud layers to be ripped and replaced per FORK_MAP.md. Co-Authored-By: Claude Opus 4.8 <[email protected]>
23 lines
606 B
Shell
Executable file
23 lines
606 B
Shell
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-machete >/dev/null 2>&1 || exit 0
|
|
cargo machete
|
|
|
|
which typos >/dev/null 2>&1 || exit 0
|
|
typos --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
|