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_size = 2
indent_size = 4
end_of_line = lf
charset = utf-8
trim_trailing_whitespace = true

6
Jenkinsfile vendored
View File

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