As a follow-up, I think we should look into a github action linter to catch these problems pre-merge in the future.

Thanks for fixing @matifali 👍

Originally posted by @dannykopping in #13412 (review)