diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 47d5ca5..8a5271e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -95,8 +95,7 @@ jobs: - run: cargo miri test env: # -Zmiri-ignore-leaks is needed because we use detached threads in doctests: https://github.com/rust-lang/miri/issues/1371 - # disable preemption due to https://github.com/rust-lang/rust/issues/55005 - MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks -Zmiri-preemption-rate=0 + MIRIFLAGS: -Zmiri-strict-provenance -Zmiri-symbolic-alignment-check -Zmiri-disable-isolation -Zmiri-ignore-leaks RUSTFLAGS: ${{ env.RUSTFLAGS }} -Z randomize-layout security_audit: diff --git a/.gitignore b/.gitignore index 6936990..cd048ef 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ /target **/*.rs.bk Cargo.lock +.vscode/ diff --git a/src/task.rs b/src/task.rs index a3dfd17..9574317 100644 --- a/src/task.rs +++ b/src/task.rs @@ -101,7 +101,7 @@ impl Task { /// # Examples /// /// ``` - /// # if cfg!(miri) { return; } // Miri does not support epoll + /// # if cfg!(miri) && !cfg!(target_os = "linux") { return; } // Miri only supports threaded nonblocking logic on linux /// use smol::{future, Executor, Timer}; /// use std::thread; /// use std::time::Duration; @@ -513,7 +513,7 @@ impl FallibleTask { /// # Examples /// /// ``` - /// # if cfg!(miri) { return; } // Miri does not support epoll + /// # if cfg!(miri) && !cfg!(target_os = "linux") { return; } // Miri only supports threaded nonblocking logic on linux /// use smol::{future, Executor, Timer}; /// use std::thread; /// use std::time::Duration;