[grcinq-37/retired] grcinq-37 is retired
Passed
BERARD Benjamin
created pipeline for commit
0c74079e
, finished
1 related merge request: !316 [grcinq-37/retired] grcinq-37 is retired
6 minutes 20 seconds, queued for 2 seconds