[PATCH 0/3] ci: massively cut down the build log sizes