Skip to content
Snippets Groups Projects

Merge branch 'use-cmake-args' into 'master'

Passed
Jon Azpiazu created pipeline for commit b9934219
, finished
For master
52 seconds, queued for 1 seconds