]> https://gitweb.dealii.org/ - dealii.git/commitdiff
CI: update clang-tidy to clang10
authorTimo Heister <timo.heister@gmail.com>
Mon, 20 Apr 2020 15:25:26 +0000 (11:25 -0400)
committerTimo Heister <timo.heister@gmail.com>
Tue, 5 May 2020 02:00:49 +0000 (22:00 -0400)
contrib/ci/Jenkinsfile.tidy

index 0203f6e6ee5ad91f493eadf5a652b0a93ef8d512..b3318cbab61fa2c4bfd155ca9184670d2a7c029a 100644 (file)
@@ -46,7 +46,7 @@ pipeline
       {
         docker
         {
-          image 'tjhei/candi-base-clang'
+          image 'tjhei/candi-base:clang10'
         }
       }
 

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.