From: Timo Heister <timo.heister@gmail.com>
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'