clarify what _no_ log means: not a partial loog

This commit is contained in:
Graham Christensen 2018-03-17 10:47:10 -04:00
parent fefc1ec984
commit 9420cb5c18
No known key found for this signature in database
GPG key ID: ACA1C1D120C83D5C

View file

@ -113,7 +113,7 @@ fn result_to_comment(result: &BuildResult) -> String {
if result.output.len() > 0 { if result.output.len() > 0 {
reply.extend(partial_log_segment(&result.output)); reply.extend(partial_log_segment(&result.output));
} else { } else {
reply.push("No log is available.".to_owned()); reply.push("No partial log is available.".to_owned());
reply.push("".to_owned()); reply.push("".to_owned());
} }
@ -416,7 +416,7 @@ patching script interpreter paths in /nix/store/pcja75y9isdvgz5i00pkrpif9rxzxc29
The following builds were skipped because they don't evaluate on x86_64-linux: not-attempted The following builds were skipped because they don't evaluate on x86_64-linux: not-attempted
No log is available. No partial log is available.
" "
); );
} }