Commit fa06d420 authored by Eric Bruneton's avatar Eric Bruneton

Merge branch 'use-memory-profiler-only-for-memory-benchmarks' into 'master'

Use the memory profiler only for the memory benchmarks. This reduces the time…

See merge request !216
parents d8686cd6 bca84006
Pipeline #2835 passed with stage
in 6 minutes and 40 seconds