#264 separate profiling and benchmarks in nightly builds to hopefully stay below the 60 minutes marks for jobs in gitlab
Attach a file by drag & drop or click to upload
