Missing `Params` instances for `prod_map` and `prod_zip`.
Passed
Robbert Krebbers
created pipeline for commit
85c505f5
, finished
Related merge request !528 to merge robbert/params_prod_map_zip
5 minutes 39 seconds, queued for 1 seconds