[Merged by Bors] - feat: warn on deprecated declarations in scripts/check-yaml#38313

thorimur wants to merge 11 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

thorimur:check-yaml-deprecationsthorimur/mathlib4:check-yaml-deprecationsCopy head branch name to clipboard