Skip to content

Avoid partial functions Data.List.init and Data.List.last#10988

Merged
mergify[bot] merged 1 commit into
masterfrom
avoid-init-and-last
Jun 17, 2025
Merged

Avoid partial functions Data.List.init and Data.List.last#10988
mergify[bot] merged 1 commit into
masterfrom
avoid-init-and-last

Avoid partial functions Data.List.init and Data.List.last

96a72d2
Select commit
Loading
Failed to load commit list.
Mergify / Rule: Put pull requests in the rebase+merge queue (queue) succeeded Jun 17, 2025 in 0s

The pull request has been merged automatically

The pull request has been merged automatically at b2fa5ec

View more details on Mergify