diff --git a/scripts/Jenkinsfile b/scripts/Jenkinsfile index e69df5f92a4b85c6238a1e2058f611acb59f11e8..a66089ccdd030b07dcec7a809d0edad8b9388910 100644 --- a/scripts/Jenkinsfile +++ b/scripts/Jenkinsfile @@ -27,16 +27,13 @@ pipeline { // Doing it manually --> it may have merge conflicts sh "git merge --ff origin/${env.gitlabTargetBranch}" sh "git log -n1" - } else { - def message = "OAI build #" + BUILD_ID - updateGitlabCommitStatus name: message, state: 'pending' } } } } stage ('Build') { - gitlabCommitStatus("Build") { steps { + gitlabCommitStatus("Build") { sh "gcc src/test1.c -o bin/test1" sh "gcc src/test2.c -o bin/test2" sh "cppcheck --enable=warning --force --xml --xml-version=2 src 2> cppcheck.xml" @@ -44,8 +41,8 @@ pipeline { } } stage ('Test') { - gitlabCommitStatus("Test") { steps { + gitlabCommitStatus("Test") { sh "./bin/test1" sh "./bin/test2" }