Skip to content

Replace List.fold_left (||) false (List.map f lst) with List.exists f lst #8347

Replace List.fold_left (||) false (List.map f lst) with List.exists f lst

Replace List.fold_left (||) false (List.map f lst) with List.exists f lst #8347

Triggered via pull request July 14, 2025 14:57
Status Success
Total duration 2m 23s
Artifacts

format.yml

on: pull_request
Fit to window
Zoom out
Zoom in