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 5b968f7e5a - Show all commits

View File

@ -1,11 +1,10 @@
pipeline { pipeline {
environment { environment {
DOCK_FILE_DIR = 'automation' BUILDDIR = 'build-tests'
BUILDDIR = 'build-tests'
} }
agent { agent {
dockerfile { dockerfile {
dir DOCK_FILE_DIR dir 'automation'
additionalBuildArgs '--no-cache' additionalBuildArgs '--no-cache'
reuseNode true reuseNode true
} }