diff options
| author | Ralf Jung <post@ralfj.de> | 2022-08-15 19:33:07 -0400 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-08-15 19:33:07 -0400 |
| commit | 2e3da5d8c30238cddbc63131776af485d2d10cda (patch) | |
| tree | 535bcc1060b389963fcd32363062734068490e38 | |
| parent | 79ebfa25dcde23f3eb95238a23707b69cc01a528 (diff) | |
| download | rust-2e3da5d8c30238cddbc63131776af485d2d10cda.tar.gz rust-2e3da5d8c30238cddbc63131776af485d2d10cda.zip | |
check no-default-features and all-features build on CI
| -rwxr-xr-x | ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci.sh b/ci.sh index a29fc3deca5..8189596dba7 100755 --- a/ci.sh +++ b/ci.sh @@ -5,11 +5,12 @@ set -x # Determine configuration export RUSTFLAGS="-D warnings" export CARGO_INCREMENTAL=0 -export CARGO_EXTRA_FLAGS="--all-features" # Prepare echo "Build and install miri" ./miri install # implicitly locked +./miri check --no-default-features # make sure this can be built +./miri check --all-features # and this, too ./miri build --all-targets --locked # the build that all the `./miri test` below will use echo |