Merge branch 'feedback_DR' of gitlab.irit.fr:sepia-pub/mael/batmen into feedback_DR
Passed
created pipeline for commit
4011c2bd
, finished
For stage_ambre
2 minutes 49 seconds, queued for 9 seconds