🌱 Update actions for 1.5 and make names consistent #9115
Merged
GitHub Actions / PR Type
succeeded
Aug 3, 2023 in 35s
PR Type in Title
Found 🌱 PR (infra)
Details
Final title:
Update actions for 1.5 and make names consistent
Loading