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