diff options
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index a558359..cc659ab 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,6 +5,31 @@ pipeline { { parallel { //////////////////////////////////////////////////// + stage('Windows msvc') { + agent { label 'win10 && msvc' } + environment + { + VSDEVCMD="C:\\Program Files (x86)\\Microsoft Visual Studio\\2022\\BuildTools\\Common7\\Tools\\VsDevCmd.bat" + } + steps { + echo 'Cleaning workspace ...' + bat 'git clean -d -x -f' + dir ('build/test') { + writeFile file:'dummy', text:'' + } + bat '"%VSDEVCMD%" && bootstrap.bat && ctor.exe' + echo 'Testing (msvc) ...' + bat 'ctor.exe check' + } + post { + always { + xunit(thresholds: [ skipped(failureThreshold: '0'), + failed(failureThreshold: '0') ], + tools: [ CppUnit(pattern: 'build/test/*.xml') ]) + } + } + } + //////////////////////////////////////////////////// stage('MacOSX clang') { agent { label 'macos' } steps { |