also dont rurn miri with expensive

matthiaskrgr · Jan 12, 2024 · 0637b54 · 0637b54
1 parent f45056f
commit 0637b54
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main.rs b/src/main.rs
@@ -165,7 +165,7 @@ fn check_dir(
                 &Executable::Rustdoc,
                 &Executable::Rustfmt,
                 &Executable::ClippyFix,
-                &Executable::Miri,
+                // &Executable::Miri,
                 // &Executable::Cranelift,
             ]
         } else {