diff --git a/Jenkinsfile b/Jenkinsfile index 59b1bde..4a9fe17 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -48,6 +48,18 @@ pipeline { recordIssues(tools: [clang()]) } } + stage('SIMD fallback') { + agent { + dockerfile { + args '-v /home/jenkins/ccache:/ccache' + reuseNode true + } + } + steps { + CleanBuildAndTest("-DUSE_SIMD_FALLBACK=ON") + recordIssues(tools: [clang()]) + } + } stage('Release [gcc]') { agent { dockerfile {