(not just) Makefile cleanups #5832
Merged
Cirrus CI / Total Success
succeeded
Nov 11, 2024 in 3s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 00:01 main
Loading