Merge branch 'ci_coverage' into 'develop'
Passed
Guillaume Pasero
created pipeline for commit
2f15f2e6
, finished
For develop
121 minutes 42 seconds, queued for 5 seconds