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 88b7fd1f05 - Show all commits

3
Jenkinsfile vendored
View File

@@ -3,6 +3,9 @@ pipeline {
stages { stages {
stage('Run Tools Deployment Job') { stage('Run Tools Deployment Job') {
steps { steps {
sh(
script: 'env'
)
build( build(
job: '../tools-deployment' job: '../tools-deployment'
) )