diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-11-24 21:37:27 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-11-24 23:52:09 +0100 |
| commit | 171cdb94c7906670723b0965ca66d72a2352ac73 (patch) | |
| tree | 92481f40c2ea3de70055e5b967629b5c93c4b298 /.github/ci/test.sh | |
| parent | 1fbc150fd6392d8268aa35d15380c02e363c4eb8 (diff) | |
executor: add support for main/task macros in stable (allocates tasks in an arena)
Diffstat (limited to '.github/ci/test.sh')
| -rwxr-xr-x | .github/ci/test.sh | 1 |
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 | |||
| 15 | hashtime restore /ci/cache/filetime.json || true | 15 | hashtime restore /ci/cache/filetime.json || true |
| 16 | hashtime save /ci/cache/filetime.json | 16 | hashtime save /ci/cache/filetime.json |
| 17 | 17 | ||
| 18 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml | ||
| 18 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly | 19 | MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly |
| 19 | 20 | ||
| 20 | cargo test --manifest-path ./embassy-sync/Cargo.toml | 21 | cargo test --manifest-path ./embassy-sync/Cargo.toml |