From: Timo Heister Date: Mon, 20 Apr 2020 15:25:26 +0000 (-0400) Subject: CI: update clang-tidy to clang10 X-Git-Tag: v9.2.0-rc1~121^2~3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=538f0358252729ea6bd80e6ded40ccb7ae209463;p=dealii.git CI: update clang-tidy to clang10 --- diff --git a/contrib/ci/Jenkinsfile.tidy b/contrib/ci/Jenkinsfile.tidy index 0203f6e6ee..b3318cbab6 100644 --- a/contrib/ci/Jenkinsfile.tidy +++ b/contrib/ci/Jenkinsfile.tidy @@ -46,7 +46,7 @@ pipeline { docker { - image 'tjhei/candi-base-clang' + image 'tjhei/candi-base:clang10' } }