Skip to content

run-make: drop os_pipe workaround now that anonymous_pipe is stable on beta#139976

Merged
bors merged 1 commit into
rust-lang:masterfrom
jieyouxu:plumbing
Apr 18, 2025
Merged

run-make: drop os_pipe workaround now that anonymous_pipe is stable on beta#139976
bors merged 1 commit into
rust-lang:masterfrom
jieyouxu:plumbing

run-make: drop `os_pipe` workaround now that `anonymous_pipe` is stab…

83af9f5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs