41 lines
723 B
Bash
Executable File
41 lines
723 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -euo pipefail
|
|
|
|
cd "$(dirname "$0")/.."
|
|
|
|
ANSIRED="\033[1;31m"
|
|
ANSIRESET="\033[0m"
|
|
errprint() {
|
|
printf "%b%s%b\n" \
|
|
"$ANSIRED" "$*" "$ANSIRESET" >&2
|
|
}
|
|
|
|
[ -f "Cargo.toml" ] || {
|
|
errprint "No Cargo.toml present"
|
|
exit 1
|
|
}
|
|
|
|
(
|
|
set -x
|
|
|
|
cargo check -q
|
|
cargo check -q --no-default-features
|
|
cargo clippy -q
|
|
cargo clippy -q --no-default-features
|
|
cargo test -q
|
|
cargo test -q --no-default-features
|
|
cargo doc -q
|
|
cargo fmt --check
|
|
codespell
|
|
prettier --check .
|
|
git ls-files -z "*.sh" | xargs -0 shellcheck
|
|
)
|
|
|
|
if [ "${1:-}" == "extra" ]; then (
|
|
set -x
|
|
|
|
cargo +nightly miri test -q
|
|
cargo +nightly miri test -q --no-default-features
|
|
) fi
|