R11/release11-tools
4
2
Fork 0
Code Issues 9 Pull Requests 4 Packages Projects Releases 6 Wiki Activity

Jenkins pipeline #123

Merged
bartosz merged 17 commits from bartosz/feature/pipeline into master 2023-03-18 08:31:14 +01:00
Conversation 0 Commits 17 Files Changed 1 +3
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 542fe87712 - Show all commits

3
Jenkinsfile vendored
View File

@@ -8,6 +8,9 @@ pipeline {
) )
build( build(
job: '../tools-deployment' job: '../tools-deployment'
string: [
'TOOLS_BRANCH': ${GIT_BRANCH}
]
) )
} }
} }