Skip to content

Revert "ci: Bring back ninja for dist builders"#103846

Merged
bors merged 1 commit intorust-lang:masterfrom
Kobzol:revert-103295-ninja
Nov 3, 2022

Commits

Commits on Nov 1, 2022