ci: test more things with miri (#6885)

2026-09-08 00:00:13 +02:00 · 2024-10-11 09:44:50 +02:00
parent 9cc4a81678
commit 161b8c80d5
66 changed files with 83 additions and 34 deletions
@@ -1,5 +1,6 @@
 #![warn(rust_2018_idioms)]
 #![cfg(not(target_os = "wasi"))] // Wasi doesn't support UDP
+#![cfg(not(miri))] // No `socket` in Miri.

 use tokio::net::UdpSocket;
 use tokio_stream::StreamExt;