diff options
Diffstat (limited to '')
| -rw-r--r-- | third_party/rust/pin-project/ci.sh | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/third_party/rust/pin-project/ci.sh b/third_party/rust/pin-project/ci.sh new file mode 100644 index 0000000000..016481d23b --- /dev/null +++ b/third_party/rust/pin-project/ci.sh @@ -0,0 +1,24 @@ +#!/bin/bash + +# A script to run a simplified version of the checks done by CI. +# +# Usage +# +# ```sh +# . ./ci.sh +# ``` + +echo "Running 'cargo fmt -- --check'" +cargo +nightly fmt --all -- --check + +echo "Running 'cargo clippy'" +cargo +nightly clippy --all --all-features + +echo "Running 'cargo test'" +cargo +nightly test --all --all-features + +echo "Running 'cargo doc'" +cargo +nightly doc --no-deps --all --all-features + +echo "Running 'compiletest'" +. ./compiletest.sh |