Commit 2025-12-01 11:03 9a6290f6

View on Github →

fix: adjust abel's hint prio to avoid suggesting abel on unrelated trivial goals (#31865)

Estimated changes