diff --git a/jenkins/Jenkinsfile_docker b/jenkins/Jenkinsfile_docker index ba46440..0f9e611 100644 --- a/jenkins/Jenkinsfile_docker +++ b/jenkins/Jenkinsfile_docker @@ -1,6 +1,6 @@ pipeline { // properties([[$class: 'GogsProjectProperty', gogsBranchFilter: '', gogsSecret: , gogsUsePayload: false], [$class: 'RebuildSettings', autoRebuild: false, rebuildDisabled: false], parameters([string('CUTOFF')]), pipelineTriggers([pollSCM('')])]) - + agent none stages { stage('sh: Shell script') {