Merge pull request #11563

This commit is contained in:
Johannes Altmanninger
2025-06-08 11:25:32 +02:00

View File

@@ -8,9 +8,8 @@ RUSTDOCFLAGS='-D warnings'; export RUSTDOCFLAGS
repo_root="$(dirname "$0")/.."
build_dir="$repo_root/target/debug"
PATH="$build_dir:$PATH" "$repo_root/build_tools/style.fish" --all --check
cargo build --workspace --all-targets
PATH="$build_dir:$PATH" "$repo_root/build_tools/style.fish" --all --check
cargo clippy --workspace --all-targets
cargo test --no-default-features --workspace --all-targets
cargo test --doc --workspace