Browse Source

jenkins: delete workspace after build

pr/spi.typo
Cenk Gündoğan 6 years ago
parent
commit
e40a271d0c
  1. 4
      Jenkinsfile

4
Jenkinsfile vendored

@ -69,6 +69,8 @@ node ('master') {
}
step([$class: 'ArtifactArchiver', artifacts: "*_static-tests.log", fingerprint: true, allowEmptyArchive: true])
}
deleteDir()
}
stage("unittests") {
@ -192,6 +194,8 @@ def make_build(label, board, desc, arg)
} catch(e) {
echo "${e.toString()}"
currentBuild.result = 'FAILURE'
} finally {
deleteDir()
}
}
}

Loading…
Cancel
Save