about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMatthias Krüger <476013+matthiaskrgr@users.noreply.github.com>2025-04-24 11:40:44 +0200
committerGitHub <noreply@github.com>2025-04-24 11:40:44 +0200
commit984ef2c656414ad13e06d82404926d3d0bd04183 (patch)
tree5bb57124e57138d9d21b92a5c12894b6b637fa00
parenta90f31e319659170539f50a306165dcb7afb3f46 (diff)
parentf0399b8ee919fe916a2a8fd3fdeb3ebfa6f9c9d0 (diff)
downloadrust-984ef2c656414ad13e06d82404926d3d0bd04183.tar.gz
rust-984ef2c656414ad13e06d82404926d3d0bd04183.zip
Rollup merge of #140195 - jieyouxu:minicore-triagebot, r=jieyouxu
triagebot: label minicore changes w/ `A-test-infra-minicore` and ping jieyouxu on changes

Just routine triagebot labelling/mentioning changes.

r? ```@ghost```
-rw-r--r--triagebot.toml9
1 files changed, 9 insertions, 0 deletions
diff --git a/triagebot.toml b/triagebot.toml
index 189223f2feb..422996cb200 100644
--- a/triagebot.toml
+++ b/triagebot.toml
@@ -585,6 +585,11 @@ trigger_files = [
     "src/tools/compiletest"
 ]
 
+[autolabel."A-test-infra-minicore"]
+trigger_files = [
+    "tests/auxiliary/minicore.rs",
+]
+
 [autolabel."A-rustc-dev-guide"]
 trigger_files = [
     "src/doc/rustc-dev-guide",
@@ -869,6 +874,10 @@ cc = ["@GuillaumeGomez"]
 message = "This PR modifies `run-make` tests."
 cc = ["@jieyouxu"]
 
+[mentions."tests/auxiliary/minicore.rs"]
+message = "This PR modifies `tests/auxiliary/minicore.rs`."
+cc = ["@jieyouxu"]
+
 [mentions."src/rustdoc-json-types"]
 message = """
 rustdoc-json-types is a **public** (although nightly-only) API. \