Skip to content
Snippets Groups Projects

add map_choose_or_empty

Passed
Ralf Jung created pipeline for commit 324065a3
, finished
Related merge request !413 to merge map_empty_or_choose
merge request
2 jobs 5 minutes 32 seconds, queued for 1 seconds