Skip to content

Remove tidy key in PR CI#111224

Merged
bors merged 1 commit intorust-lang:masterfrom
jyn514:default-tidy
May 7, 2023
Merged

Remove `tidy` key in PR CI#111224
bors merged 1 commit intorust-lang:masterfrom
jyn514:default-tidy

Commits

Commits on May 4, 2023