Skip to content

Lint singleton gaps after exclusive ranges#118879

Merged
bors merged 4 commits into
rust-lang:masterfrom
Nadrieril:lint-range-gap
Mar 9, 2024
Merged

Lint singleton gaps after exclusive ranges#118879
bors merged 4 commits into
rust-lang:masterfrom
Nadrieril:lint-range-gap

Lint small gaps between ranges

8ac9a04
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs