Add triagebot stdarch mention ping

This commit is contained in:
Jakub Beránek 2025-07-08 19:03:33 +02:00
parent 040e2f8b9f
commit fab9c64e2d
No known key found for this signature in database
GPG key ID: 909CD0D26483516B

View file

@ -931,6 +931,15 @@ instead.
"""
cc = ["@tgross35"]
[mentions."library/stdarch"]
message = """
`stdarch` is developed in its own repository. If possible, consider \
making this change to \
[rust-lang/stdarch](https://github.com/rust-lang/stdarch) \
instead.
"""
cc = ["@Amanieu", "@folkertdev", "@sayantn"]
[mentions."library/core/src/intrinsics/simd.rs"]
message = """
Some changes occurred to the platform-builtins intrinsics. Make sure the