CI builder out of disk space
Hi, release team's CI builder has recently started running out of disk space. See e.g. this pipeline failure.
fatal error: closing dependency file extra_defs_gen/.deps/generate_extra_defs.Tpo: No space left on device
I don't know how the CI works. Hopefully it's running in a container with a disk space limit, and that limit just needs to be increased? But we did not previously have any problems with a disk space limit, so it's surprising that this problem has appeared suddenly.