Increase root system size

Author: pierre.delaunay

.github/workflows/docker.yml

@@ -45,7 +45,7 @@ jobs:
           remove-haskell: 'true'
           remove-android: 'true'
           build-mount-path: /home/runner/work/milabench/
-          root-reserve-mb: 20000
+          root-reserve-mb: 30000
 
       - name: Show all images
         run: |