aboutsummaryrefslogtreecommitdiff
path: root/.github/ci/test.sh
diff options
context:
space:
mode:
Diffstat (limited to '.github/ci/test.sh')
-rwxr-xr-x.github/ci/test.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/ci/test.sh b/.github/ci/test.sh
index 1ee760d31..0ec65d2a1 100755
--- a/.github/ci/test.sh
+++ b/.github/ci/test.sh
@@ -4,6 +4,10 @@
4 4
5set -euo pipefail 5set -euo pipefail
6 6
7export RUSTUP_HOME=/ci/cache/rustup
8export CARGO_HOME=/ci/cache/cargo
9export CARGO_TARGET_DIR=/ci/cache/target
10
7MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml 11MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml
8MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly 12MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly
9 13