Skip to content

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

Merged
bors merged 3 commits into
rust-lang:masterfrom
WaffleLapkin:misc-meowing
Nov 29, 2024
Merged

Misc: better instructions for envrc, ignore /build instead of build/#133592
bors merged 3 commits into
rust-lang:masterfrom
WaffleLapkin:misc-meowing

fix a comment with uneven number of backticks in rustc_mir_build

8e77349
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs