run-make: drop os_pipe workaround now that anonymous_pipe is stable on beta#139976
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 18, 2025
os_pipe workaround now that anonymous_pipe is stable on beta#139976