Prefer List.concat_map (#6029) #10317

Sign in to view logs

Triggered via push October 1, 2024 15:38

github-merge-queue[bot]

gh-readonly-queue/master/pr-6029-2f251e117fa3b9afbbcf77c19480379fef09f7a8

Status Success

Total duration 9m 17s

Artifacts –

main.yml

on: push

Run OCaml tests