Commit 693a3371 authored by Christophe Henry's avatar Christophe Henry

Merge branch 'improve-jenkins' into 'develop'

Parallelize Jenkins instrumented tests step

See merge request !69
parents da77f03b d11d37d6
Pipeline #3488 failed with stage
in 0 seconds