Skip to content
Snippets Groups Projects

Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some

Passed
Michael Sammler created pipeline for commit 6d639468
, finished
Related merge request !338 to merge msammler/reverse_lookup_sublist_lookup
merge request
2 jobs 4 minutes 29 seconds, queued for 8 seconds