[release-1.9] 🌱 Verify PR titles with shell script #3192
Merged
GitHub Actions / PR Issue
succeeded
Sep 16, 2024 in 0s
Issue/PR tag in PR title
Your PR title does not contain any Issue or PR tags
Loading