From: Timo Heister Date: Tue, 21 Apr 2020 14:56:21 +0000 (-0400) Subject: archive log file X-Git-Tag: v9.2.0-rc1~121^2~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=72912c506eb029e29ff205826c05e3abd3898404;p=dealii.git archive log file --- diff --git a/contrib/ci/Jenkinsfile.tidy b/contrib/ci/Jenkinsfile.tidy index b3318cbab6..87e58d21ad 100644 --- a/contrib/ci/Jenkinsfile.tidy +++ b/contrib/ci/Jenkinsfile.tidy @@ -102,6 +102,10 @@ pipeline post { + always + { + archiveArtifacts artifacts: 'build/clang-tidy.log', fingerprint: true + } failure { githubNotify context: 'tidy', description: 'build failed', status: 'FAILURE'