Files
release11-tools/Jenkinsfile
2023-03-18 08:31:12 +01:00

17 lines
357 B
Groovy

pipeline {
agent any
stages {
stage('Run Tools Deployment Job') {
steps {
build(
job: '../tools-deployment',
parameters: [
string(name: 'TOOLS_BRANCH', value: "${GIT_BRANCH}")
]
)
}
}
}
}