Compare commits

..

No commits in common. "4b92fe3765bb95ec0eead0ac96435c60631057ce" and "3d0d4d873424e6f11e31004394fc1ca35e578f30" have entirely different histories.

4 changed files with 98 additions and 102 deletions

View File

@ -2,7 +2,7 @@ root = true
[*] [*]
indent_style = space indent_style = space
indent_size = 2 indent_size = 4
end_of_line = lf end_of_line = lf
charset = utf-8 charset = utf-8
trim_trailing_whitespace = true trim_trailing_whitespace = true

6
Jenkinsfile vendored
View File

@ -58,6 +58,7 @@ pipeline {
} }
} }
stage('build') { stage('build') {
steps { steps {
dir("source") { dir("source") {
@ -66,9 +67,4 @@ pipeline {
} }
} }
} }
post {
failure {
deleteDir()
}
}
} }