diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 5dda60ef..fc08eff2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -50,20 +50,11 @@ pipeline { ''' } } - stage('Deploy') { - steps { - archiveArtifacts artifacts: 'build/vyos-*-rolling*.iso', fingerprint: true - } - } } post { always { echo 'One way or another, I have finished' - // change build dir file permissions so wen can cleanup as regular - // user (jenkins) afterwards - sh 'sudo chmod -R 777 .' - echo 'No cleanup for now ....' deleteDir() /* cleanup our workspace */ } } |