Catch 2 Update #538

Merged
mohr merged 13 commits from mueller/catch2-update into development 2022-01-31 15:18:43 +01:00
Showing only changes of commit eba9abfc9a - Show all commits

View File

@ -8,7 +8,7 @@ pipeline {
stage('Create Docker') { stage('Create Docker') {
agent { agent {
dockerfile { dockerfile {
dir '$DOCK_FILE_DIR' dir DOCK_FILE_DIR
additionalBuildArgs '--no-cache' additionalBuildArgs '--no-cache'
reuseNode true reuseNode true
} }
@ -27,7 +27,7 @@ pipeline {
stage('Clean') { stage('Clean') {
agent { agent {
dockerfile { dockerfile {
dir '$DOCK_FILE_DIR' dir DOCK_FILE_DIR
reuseNode true reuseNode true
} }
} }
@ -45,7 +45,7 @@ pipeline {
stage('Configure') { stage('Configure') {
agent { agent {
dockerfile { dockerfile {
dir '$DOCK_FILE_DIR' dir DOCK_FILE_DIR
reuseNode true reuseNode true
} }
} }
@ -58,7 +58,7 @@ pipeline {
stage('Build') { stage('Build') {
agent { agent {
dockerfile { dockerfile {
dir '$DOCK_FILE_DIR' dir DOCK_FILE_DIR
reuseNode true reuseNode true
} }
} }
@ -71,7 +71,7 @@ pipeline {
stage('Unittests') { stage('Unittests') {
agent { agent {
dockerfile { dockerfile {
dir '$DOCK_FILE_DIR' dir DOCK_FILE_DIR
reuseNode true reuseNode true
} }
} }
@ -84,7 +84,7 @@ pipeline {
stage('Valgrind') { stage('Valgrind') {
agent { agent {
dockerfile { dockerfile {
dir '$DOCK_FILE_DIR' dir DOCK_FILE_DIR
reuseNode true reuseNode true
} }
} }