diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml index 9ae294bed..8894dbace 100644 --- a/.github/workflows/miri.yml +++ b/.github/workflows/miri.yml @@ -76,7 +76,8 @@ jobs: # working-directory: tokio env: - MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields + # todo: disable memory leaks ignore + MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields -Zmiri-ignore-leaks PROPTEST_CASES: 10 # Cache the global cargo directory, but NOT the local `target` directory which diff --git a/packages/core/tests/miri_stress.rs b/packages/core/tests/miri_stress.rs index 5ceb8d528..c73847c19 100644 --- a/packages/core/tests/miri_stress.rs +++ b/packages/core/tests/miri_stress.rs @@ -209,7 +209,6 @@ fn supports_async() { for x in 0..10 { let _ = dom.wait_for_work().await; let edits = dom.render_immediate(); - dbg!(edits); } }); }