Skip to content

Add lints about manual List.map/fold detection (fix #24) #119

Add lints about manual List.map/fold detection (fix #24)

Add lints about manual List.map/fold detection (fix #24) #119

Triggered via pull request December 1, 2023 13:29
Status Success
Total duration 4m 0s
Artifacts

master_docker.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in