diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile index 34535ed608..bda7b5c694 100644 --- a/ci/Jenkinsfile +++ b/ci/Jenkinsfile @@ -155,6 +155,12 @@ pipeline { sh(script: "${HOMEgfs}/ci/scripts/utils/ci_utils_wrapper.sh cancel_all_batch_jobs ${HOME}/RUNTESTS") ws(HOME) { if (fileExists('RUNTESTS/error.logs')) { + def error_logs = sh(script: "cat RUNTESTS/error.logs", returnStdout: true).trim() + try { + pullRequest.comment("Experiment ${Case} failed on ${Machine}\n\nError logs:\n\n${error_logs}") + } catch (Exception error) { + echo "Failed to comment on PR: ${error.getMessage()}" + } def fileContent = readFile 'RUNTESTS/error.logs' def lines = fileContent.readLines() for (line in lines) {