Merge pull request #3919 from bburdette/issue-2238-demotion

demote remote build message to Info
This commit is contained in:
Eelco Dolstra 2020-08-11 20:32:29 +02:00 committed by GitHub
commit 574bf60b4d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -201,7 +201,7 @@ static int _main(int argc, char * * argv)
% concatStringsSep<StringSet>(", ", m.mandatoryFeatures); % concatStringsSep<StringSet>(", ", m.mandatoryFeatures);
} }
logError({ logErrorInfo(lvlInfo, {
.name = "Remote build", .name = "Remote build",
.description = "Failed to find a machine for remote build!", .description = "Failed to find a machine for remote build!",
.hint = hint .hint = hint