Skip to content

Commit 7594124

Browse files
committed
chore: test more features with Miri
1 parent 3411792 commit 7594124

File tree

2 files changed

+1
-5
lines changed

2 files changed

+1
-5
lines changed

.github/workflows/ci.yml

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -202,10 +202,7 @@ jobs:
202202
components: miri
203203
- uses: Swatinem/rust-cache@v1
204204
- name: miri
205-
# Many of tests in tokio/tests and doctests use #[tokio::test] or
206-
# #[tokio::main] that calls epoll_create1 that Miri does not support.
207-
run: cargo miri test --features full --lib --no-fail-fast
208-
working-directory: tokio
205+
run: cargo miri test --features full --workspace --no-fail-fast
209206
env:
210207
MIRIFLAGS: -Zmiri-disable-isolation -Zmiri-strict-provenance -Zmiri-retag-fields
211208
PROPTEST_CASES: 10

tokio/src/process/unix/orphan.rs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -291,7 +291,6 @@ pub(crate) mod test {
291291
drop(signal_guard);
292292
}
293293

294-
#[cfg_attr(miri, ignore)] // Miri does not support epoll.
295294
#[test]
296295
fn does_not_register_signal_if_queue_empty() {
297296
let (io_driver, io_handle) = IoDriver::new(1024).unwrap();

0 commit comments

Comments
 (0)