🌱 Tidy up Makefile and remove convert-diff GHA #4867
GitHub Actions / PR Type
succeeded
Apr 4, 2025 in 1s
PR Type in Title
Found 🌱 PR (infra)
Details
Final title:
Tidy up Makefile and remove convert-diff GHA
Loading