diff --git a/Jenkinsfile b/Jenkinsfile index 0f2f9757fdbb543172c202d8321e7cbffee4f0a2..a55df134edcb0a4b738aa389d8952dfb2b708d1b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -558,7 +558,7 @@ pipeline { cmakeOptions = "-DBUILD_SHARED_LIBS=${build_shared} " + '-DBUILD_TESTING=OFF ' + - '-DCMAKE_CXX_CLANG_TIDY=clang-tidy-8 ' + '-DCMAKE_CXX_CLANG_TIDY=clang-tidy-9 ' } build { log = 'build.log' } } diff --git a/web/data/versions.json b/web/data/versions.json index 5e54452044a499fe6af9015c6642587a4a064ca0..79563e9cbe903f83655247d00b07d5e0aeb17607 100644 --- a/web/data/versions.json +++ b/web/data/versions.json @@ -1,7 +1,7 @@ { "minimum_version": { "gcc": "8.0", - "clang": "3.5", + "clang": "9.0", "msvc": { "year": "2019", "number": "16",