Specialize `MapForGrouping::fold` #771

Sign in to view logs

Triggered via pull request February 9, 2024 09:35

Philippe-Cholet

opened #873

Philippe-Cholet:fold-mapforgrouping

Status Success

Total duration 2m 36s

Artifacts –

ci.yml

on: pull_request

Matrix: check

All checks succeeded