[sophia][esterel41] Change the disk size
Failed
DOMINOIS Hugo
created pipeline for commit
8b19cc79
, finished
For testing-esterel41
1 minute 7 seconds, queued for 2 seconds