[nancy/grcinq] Swap of the grcinq-8 disk and the grcinq-48 disk
Passed
BERARD Benjamin
created pipeline for commit
b7aed10a
, finished
1 related merge request: !219 [nancy/grcinq] Swap of the grcinq-8 disk and the grcinq-48 disk
6 minutes 6 seconds, queued for 2 seconds