Tagged miri

Rust team warns that Miri can leave CI secrets in cached target directories

Miri stored environment variables in target/, which can expose secrets to pull requests when GitHub Actions caches are shared.