Skip to content

[crater only] make forbidden_lint_groups a hard error#133536

Closed
RalfJung wants to merge 1 commit intorust-lang:masterfrom RalfJung:forbidden_lint_groups-error
+12-28

Commits

Commits on Nov 27, 2024