task: run spawn_pinned tests with miri (#7023)

2026-08-17 00:00:11 +02:00 · 2024-12-08 12:45:16 +01:00
parent dc16b12edb
commit eb72ddde3b
1 changed files with 0 additions and 2 deletions
@@ -1,7 +1,5 @@
 #![warn(rust_2018_idioms)]
 #![cfg(not(target_os = "wasi"))] // Wasi doesn't support threads
-// Blocked on https://github.com/rust-lang/miri/issues/3911
-#![cfg(not(miri))]

 use std::rc::Rc;
 use std::sync::Arc;