CI

GroupMap: add fold_with #531

Sign in to view logs

Re-run triggered October 11, 2023 07:35

Philippe-Cholet

#778

group-map-fold-no-clone

Status Success

Total duration 2m 4s

Artifacts –

ci.yml

on: pull_request

Matrix: check

All checks succeeded