Skip to content

Take a display name for tool_check_step!#131597

Merged
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:explicit-check-name
Oct 12, 2024
Merged

Take a display name for `tool_check_step!`#131597
bors merged 1 commit intorust-lang:masterfrom
jieyouxu:explicit-check-name

Commits

Commits on Oct 12, 2024