Skip to content

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

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

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

Triggered via push June 15, 2025 21:00
Status Success
Total duration 5m 15s
Artifacts
Matrix: build
Fit to window
Zoom out
Zoom in