[nancy]Remove grcinq-48 from sgrcinq
Passed
BERARD Benjamin
created pipeline for commit
8151c286
, finished
1 related merge request: !120 [nancy]Remove grcinq-48 from sgrcinq
4 minutes 23 seconds, queued for 3 seconds