Merge topic 'instrumentation-ci' 5ede033f57 ci: Add job for instrumentation on Linux Acked-by: Kitware Robot <kwrobot@kitware.com> Merge-request: !11517