[release-0.18] 🌱 Verify PR titles with shell script #2948
Merged
GitHub Actions / PR Type
succeeded
Sep 16, 2024 in 1s
PR Type in Title
Found 🌱 PR (infra)
Details
Final title:
Verify PR titles with shell script
Loading