ci: add no-public-api-changes label based on public olean diff#38230

kim-em wants to merge 4 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

kim-em:no-public-api-changes-labelkim-em/mathlib4:no-public-api-changes-labelCopy head branch name to clipboard