Merge branch 'ralf/map_zip_diag' into 'master'
Failed
Robbert Krebbers
created pipeline for commit
2bc4c093
, finished
For master
9 minutes 39 seconds, queued for 3 seconds