Skip to content

More generic maps in GroupingMap (v2) #846

More generic maps in GroupingMap (v2)

More generic maps in GroupingMap (v2) #846

Triggered via pull request March 21, 2024 08:34
Status Success
Total duration 3m 1s
Artifacts

ci.yml

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