Skip to content
Snippets Groups Projects

add size_list_to_map

Passed
Ralf Jung created pipeline for commit 3471c0eb
, finished
Related merge request !431 to merge ralf/size_list_to_map
5 minutes 51 seconds, queued for 3 seconds