On 2022/01/25 05:10, Yifei Zhan wrote: > > Another issue is having a ports tree in the "runner".. a git checkout is > > large, but maybe since it would be "local" to github it wouldn't be > > _that_ bad?.. but a cvs checkout would be way to slow. > > I think checking out a fresh git tree is alright, but we can only have > ~8G of usable space for building. Should be enough for smaller ports, > but unsure about the larger ones...
That is not enough space to install dependencies for some medium sized ports, let alone build them.