Hi all, On Tue, Dec 01, 2020 at 04:26:01AM +0000, Mo Zhou wrote: > Extend our infrastructure (buildd or alike, instead of xxx.debian.net) > with a host machine equipped with Nvidia GPUs. These machine can be used This is too radical. Maybe an unofficial machine/porterbox (xxx.debian.net) is a much easier start point.