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)