Avoid partial functions Data.List.init and Data.List.last#10988
Merged
mergify[bot] merged 1 commit intomasterfrom Jun 17, 2025
Merged
Avoid partial functions Data.List.init and Data.List.last#10988mergify[bot] merged 1 commit intomasterfrom
mergify[bot] merged 1 commit intomasterfrom
Commits
Commits on Jun 17, 2025
- authored andcommitted