Bootstrap

Deduplicate path separator duplicates #12370

Annotations

2 errors and 6 warnings

Canceling since a higher priority waiting request for 'refs/pull/10646/merge-Bootstrap' exists

The operation was canceled.

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

Pattern match(es) are non-exhaustive

‘Data.Hashable.Generic.Instances’ is marked as Trustworthy but has been inferred as safe!

The import of ‘Data.Semigroup’ is redundant