diff --git a/Jenkinsfile b/Jenkinsfile index dccf3f9..9f6fb21 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -152,7 +152,7 @@ def push(repo_url, repo_name, tag, gCube_release_version, commit) { def repository = repo_url.replaceFirst(".+://", "https://${GIT_USERNAME}:${GIT_PASSWORD}@") sh(""" git remote set-url origin $repository - git fetch + git fetch --all mvn clean generate-resources """) }