Skip to content

GroupMap: add fold_with (2) more generic init #542

GroupMap: add fold_with (2) more generic init

GroupMap: add fold_with (2) more generic init #542

Triggered via pull request October 20, 2023 13:59
Status Failure
Total duration 1m 50s
Artifacts

ci.yml

on: pull_request
Matrix: check
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 101.