Merge branch 'robbert/map_seq' into 'master'
Failed
Robbert Krebbers
created pipeline for commit
c8c298d4
, finished
For master
7 minutes 14 seconds, queued for 187 seconds