diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 36038f6..dfea3a5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,7 +9,10 @@ pipeline { } steps { - sh 'exit 0' + ws(dir: 'workspace/Contrib') { + sh 'exit 0' + } + } } stage('Build STM32') { |