Re: [PATCH v2 20/28] buildman: Show a summary of the build result