From e18d08df0027e698c30e3633acf1a8e1f2e113ee Mon Sep 17 00:00:00 2001
From: Joel Wurtz <jwurtz@jolicode.com>
Date: Mon, 23 Sep 2024 09:18:32 +0200
Subject: [PATCH] feat(path): disable miri check for utf8 patch check

---
 src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib.rs b/src/lib.rs
index 675acb0..076c582 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -2185,6 +2185,7 @@ mod tests {
     }
 
     #[test]
+    #[cfg_attr(miri, ignore)] // Miri is too slow for this test
     fn test_all_utf8_char_in_paths() {
         // two code points
         for i in 128..256 {