From 171cdb94c7906670723b0965ca66d72a2352ac73 Mon Sep 17 00:00:00 2001 From: Dario Nieuwenhuis Date: Fri, 24 Nov 2023 21:37:27 +0100 Subject: executor: add support for main/task macros in stable (allocates tasks in an arena) --- .github/ci/test.sh | 1 + 1 file changed, 1 insertion(+) (limited to '.github') 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 hashtime restore /ci/cache/filetime.json || true hashtime save /ci/cache/filetime.json +MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml MIRIFLAGS=-Zmiri-ignore-leaks cargo miri test --manifest-path ./embassy-executor/Cargo.toml --features nightly cargo test --manifest-path ./embassy-sync/Cargo.toml -- cgit