Merge branch 'testing-esterel24' into 'master'
Passed
PAULIN Nathan
created pipeline for commit
6bdf177e
, finished
For master
6 minutes 8 seconds, queued for 3 seconds