Skip to content
Snippets Groups Projects

map_size_eq → map_to_list_length

Passed
Ralf Jung created pipeline for commit e05b6af1
, finished
Related merge request !442 to merge ralf/map
4 minutes 31 seconds, queued for 2 seconds