[Merged by Bors] - chore: update deprecated declarations in *.yamls#38312

thorimur wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

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