Catch 2 Update #538

Merged
mohr merged 13 commits from mueller/catch2-update into development 2022-01-31 15:18:43 +01:00
1 changed files with 2 additions and 2 deletions
Showing only changes of commit 8a39971a1c - Show all commits

View File

@ -5,8 +5,8 @@ pipeline {
agent {
dockerfile {
dir 'automation'
#force docker to redownload base image and rebuild all steps instead of caching them
#this way, we always get an up to date docker image one each build
//force docker to redownload base image and rebuild all steps instead of caching them
//this way, we always get an up to date docker image one each build
additionalBuildArgs '--no-cache --pull'
reuseNode true
}