]> https://gitweb.dealii.org/ - dealii.git/commitdiff
archive log file
authorTimo Heister <timo.heister@gmail.com>
Tue, 21 Apr 2020 14:56:21 +0000 (10:56 -0400)
committerTimo Heister <timo.heister@gmail.com>
Tue, 5 May 2020 02:00:49 +0000 (22:00 -0400)
contrib/ci/Jenkinsfile.tidy

index b3318cbab61fa2c4bfd155ca9184670d2a7c029a..87e58d21ad6841c67a04d0e09c937018b315e6d2 100644 (file)
@@ -102,6 +102,10 @@ pipeline
 
           post
           {
+            always
+            {
+              archiveArtifacts artifacts: 'build/clang-tidy.log', fingerprint: true
+            }
             failure
             {
               githubNotify context: 'tidy', description: 'build failed',  status: 'FAILURE'

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.