Something went wrong. Try again.
fork of gpui
Something went wrong. Try again.
123456789101112131415161718192021222324#!/usr/bin/env bash
set -euo pipefail
if [[ ! " $* " == *" -p "* && ! " $* " == *" --package "* ]]; then set -- "$@" --workspacefi
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/protofi