[build] Shut down the build server after 'make all' as well.#22300
Merged
rolfbjarne merged 1 commit intomainfrom Mar 5, 2025
Merged
[build] Shut down the build server after 'make all' as well.#22300rolfbjarne merged 1 commit intomainfrom
rolfbjarne merged 1 commit intomainfrom