Merge branch 'use-cmake-args' into 'master'
Passed
Jon Azpiazu
created pipeline for commit
b9934219
, finished
For master
52 seconds, queued for 1 seconds