[Dune-devel] Runners fail: "write error: No space left on device"

[Christoph Grüninger]

Dear Dune,

some runners fail with the error message "write error: No space left on 
device".
This causes dune-grid master to fail the CI, see pipeline
https://gitlab.dune-project.org/core/dune-grid/-/pipelines/68138

Can someone please have a closer look?

Bye
Christoph

-- 
L'enjeu est de bâtir la France de nos enfants,
pas de ressasser la France de notre enfance.
                        [Emmanuel Macron, 2022]