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
Merged

Revert "ci: Bring back ninja for dist builders"#103846
bors merged 1 commit intorust-lang:masterfrom
Kobzol:revert-103295-ninja

Commits

Commits on Nov 1, 2022