Some Quality of Life changes for `external_deps/build.sh`#1789

Merged

illwieckz merged 7 commits intomasterfrom

Sep 10, 2025

Commits on Aug 16, 2025

external_deps: deduplicate the nproc guess
illwieckz
committed

Commits on Sep 2, 2025

external_deps: rework the virtual platforms
illwieckz
committed

Commits on Sep 3, 2025

Commits on Sep 6, 2025

external_deps: improve extract logging
illwieckz
committed

Commits on Sep 8, 2025