[sophia][esterel1] Add metrics
Warning
DOMINOIS Hugo
created pipeline for commit
851bda06
, finished
1 related merge request: !1105 [sophia][esterel1] Add metrics
1 minute 52 seconds, queued for 0 seconds