compiletest: rename add-core-stubs/core-stubs-compile-flags to add-minicore/minicore-compile-flags#148305
Merged
bors merged 2 commits intorust-lang:masterfrom Nov 2, 2025
Merged