fix: better performance for @[suggest_for]
#18504
awaiting-mathlib.yml
on: pull_request
check-awaiting-mathlib
4s
@[suggest_for]
#18504