Back to pull request #772

Specialize `WithPosition::fold` #494

Sign in to view logs

Triggered via pull request October 6, 2023 06:54

Philippe-Cholet

synchronize #772

Philippe-Cholet:fold-with-position

Status Success

Total duration 1m 39s

Artifacts –

ci.yml

on: pull_request

Matrix: check

All checks succeeded