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.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/ci/test.sh b/.github/ci/test.sh
index e48d6e65b..dfc2b08ce 100755
--- a/.github/ci/test.sh
+++ b/.github/ci/test.sh
@@ -15,6 +15,7 @@ export CARGO_NET_GIT_FETCH_WITH_CLI=true
15hashtime restore /ci/cache/filetime.json || true 15hashtime restore /ci/cache/filetime.json || true
16hashtime save /ci/cache/filetime.json 16hashtime save /ci/cache/filetime.json
17 17
18MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml
18MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly 19MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly
19 20
20cargo test --manifest-path ./embassy-sync/Cargo.toml 21cargo test --manifest-path ./embassy-sync/Cargo.toml