bootstrap: allow skipping steps with start of path#133492

Merged

bors merged 1 commit intorust-lang:masterfrom MarcoIeni:bootstrap-path-check

Nov 29, 2024

+5-5

Commits on Nov 28, 2024

bootstrap: allow skipping steps with start of path
MarcoIeni
committed