Skip to content

feat(clean): add --build, rename --tool to --build_backends#4281

Merged
ruben-arts merged 6 commits intoprefix-dev:mainfrom
lucascolley:clean-build
Aug 8, 2025
Merged

feat(clean): add --build, rename --tool to --build_backends#4281
ruben-arts merged 6 commits intoprefix-dev:mainfrom
lucascolley:clean-build

Commits

Commits on Aug 7, 2025