Misc: better instructions for envrc, ignore `/build` instead of `build/`#133592

Merged

bors merged 3 commits intorust-lang:masterfrom

WaffleLapkin:misc-meowing

Nov 29, 2024

Commits on Nov 28, 2024

add instructions for generating `flake.lock` to `envrc-flake`
WaffleLapkin
committed
ignore `/build` instead of `build/` in gitignore
WaffleLapkin
committed
fix a comment with uneven number of backticks in rustc_mir_build
WaffleLapkin
committed