diff --git a/lab7/Jenkinsfile_eval b/lab7/Jenkinsfile_eval index a53c95a..c76801f 100644 --- a/lab7/Jenkinsfile_eval +++ b/lab7/Jenkinsfile_eval @@ -1,6 +1,8 @@ pipeline { agent { - dockerfile true + dockerfile { + dir 'lab7' + } } parameters { gitParameter branchFilter: 'origin/(.*)', defaultValue: 'master', name: 'BRANCH', type: 'PT_BRANCH'