Merge topic 'instrumentation-ci'

5ede033f57 ci: Add job for instrumentation on Linux

Acked-by: Kitware Robot <kwrobot@kitware.com>
Merge-request: !11517