Skip to content

[bootstrap] Give a better error when trying to run a path with no registered step#96660

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:better-missing-path-error
May 7, 2022
Merged

[bootstrap] Give a better error when trying to run a path with no registered step#96660
bors merged 1 commit intorust-lang:masterfrom
jyn514:better-missing-path-error

Commits

Commits on May 3, 2022