From af363b6bb547c500368fcfab561365e7a3831f91 Mon Sep 17 00:00:00 2001 From: Jonathan Kelley Date: Wed, 19 Jul 2023 18:42:03 -0700 Subject: [PATCH] Unleash all core tests with miri --- .github/workflows/miri.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml index e8aab0732..b1d772512 100644 --- a/.github/workflows/miri.yml +++ b/.github/workflows/miri.yml @@ -81,7 +81,7 @@ jobs: # #[tokio::main] that calls epoll_create1 that Miri does not support. # run: cargo miri test --features full --lib --no-fail-fast run: | - cargo miri test --package dioxus-core --test miri_stress -- --exact --nocapture + cargo miri test --package dioxus-core -- --exact --nocapture cargo miri test --package dioxus-native-core --test miri_native -- --exact --nocapture # working-directory: tokio