Manage disk space constraints in continuous integration #32280
Description
As suggested in #32001 comment:17, this may help:
https://github.com/easimon/maximize-build-space
Component: porting
Issue created by migration from https://trac.sagemath.org/ticket/32280