From 8b656e3a74aabfaf3f795b8eb892d226fd4674f5 Mon Sep 17 00:00:00 2001 From: Josh Triplett Date: Sat, 11 Jul 2026 15:05:11 -0700 Subject: [PATCH] triagebot: cc miri on any special-casing of miri in the standard library --- triagebot.toml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/triagebot.toml b/triagebot.toml index 9fd7bad75160f..9e48f0955bbd2 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1466,6 +1466,14 @@ cc = ["@jieyouxu"] # Content-based mentions +[mentions."miri"] +type = "content" +trigger_files = ["library"] +message = """ +Any special-casing of Miri in the standard library requires review. +""" +cc = ["@rust-lang/miri"] + [mentions."#[miri::intrinsic_fallback_is_spec]"] type = "content" message = """