CI

GroupMap: add fold_with #522

Sign in to view logs

Re-run triggered October 9, 2023 21:13

Philippe-Cholet

#778

group-map-fold-no-clone

Status Success

Total duration 1m 46s

Artifacts –

ci.yml

on: pull_request

Matrix: check

All checks succeeded