fix for jenkinsfile

2022-07-04 10:10:49 +02:00
parent 3ed1b6f9f1
commit 46123172ae
1 changed files with 0 additions and 1 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@ -1,5 +1,4 @@
 pipeline {
-    agent any
    environment {
        BUILDDIR = 'cmake-build-debug'
    }