Factorize triagebot float parsing mentions with a glob matching

This commit is contained in:
Urgau 2026-01-06 23:02:48 +01:00
parent 4d73a008ea
commit bd0d0f707e

View file

@ -1059,14 +1059,10 @@ gets adapted for the changes, if necessary.
"""
cc = ["@rust-lang/miri", "@RalfJung", "@oli-obk", "@lcnr"]
[mentions."library/core/src/num/dec2flt"]
[mentions."library/core/src/num/{dec2flt,flt2dec}"]
message = "Some changes occurred in float parsing"
cc = ["@tgross35"]
[mentions."library/core/src/num/flt2dec"]
message = "Some changes occurred in float printing"
cc = ["@tgross35"]
[mentions."library/core/src/fmt/num.rs"]
message = "Some changes occurred in integer formatting"
cc = ["@tgross35"]