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```
This commit is contained in:
Matthias Krüger 2025-04-24 11:40:44 +02:00 committed by GitHub
commit 5efe05a732
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

Diff Content Not Available