Skip to content

[DO NOT MERGE] Forbid unused_lifetimes lint for Crater run#92413

Closed
Aaron1011 wants to merge 1 commit into
rust-lang:masterfrom
Aaron1011:crater-unused-lifetimes
Closed

[DO NOT MERGE] Forbid unused_lifetimes lint for Crater run#92413
Aaron1011 wants to merge 1 commit into
rust-lang:masterfrom
Aaron1011:crater-unused-lifetimes

[DO NOT MERGE] Deny `unused_lifetimes` lint for Crater run

0e6cf0f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs