Add miri flag

Author: febo

scripts/miri.mts

@@ -5,4 +5,4 @@ import { cliArguments, getToolchainArgument } from './setup/shared.mts';
 const args = cliArguments();
 const toolchain = getToolchainArgument('lint');
 
-await $`cargo ${toolchain} miri test ${args}`;
+await $`MIRIFLAGS=-Zmiri-isolation-error=warn cargo ${toolchain} miri test ${args}`;