Merge branch 'vectorization' into 'master'
Passed
Markus Holzer
created pipeline for commit
6bb096fd
, finished
For master
16 minutes 35 seconds, queued for 3 seconds