Merge branch 'sirius' into 'master'
Passed
JACQUOT Pierre
created pipeline for commit
121839b4
, finished
For master
5 minutes 28 seconds, queued for 3 seconds