Skip to content

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

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 #8348

Triggered via pull request July 15, 2025 07:06
Status Success
Total duration 3m 26s
Artifacts

format.yml

on: pull_request
Fit to window
Zoom out
Zoom in