Update 'lab7/Jenkinsfile_eval'

2022-05-09 11:33:18 +02:00 · 2022-05-09 11:33:18 +02:00 · 82954a1433
commit 82954a1433
parent 166c30997e
1 changed files with 3 additions and 1 deletions
--- 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'