diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-04-15 00:52:42 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2024-04-15 00:52:42 +0200 |
| commit | a25cae46c5f01821911f7d989e7d80ff5d8a5376 (patch) | |
| tree | f4f9981448be9aefad6ad83204884b088e8c7fe8 | |
| parent | 86706bdc1438cdccf017d073f9b8f8ff2a0322fe (diff) | |
ci: test embassy-sync on miri.
| -rwxr-xr-x | .github/ci/test-nightly.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/ci/test-nightly.sh b/.github/ci/test-nightly.sh index d6e5dc574..1724ffe89 100755 --- a/.github/ci/test-nightly.sh +++ b/.github/ci/test-nightly.sh | |||
| @@ -11,3 +11,4 @@ mv rust-toolchain-nightly.toml rust-toolchain.toml | |||
| 11 | 11 | ||
| 12 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml | 12 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml |
| 13 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly | 13 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly |
| 14 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-sync/Cargo.toml | ||