From 028b94af5d2f1407746f134e52b0730812b39cdc Mon Sep 17 00:00:00 2001 From: Sebastien Dinot Date: Mon, 19 Aug 2019 16:04:03 +0200 Subject: [PATCH 1/2] Install in local Maven repo the binary archive produced by develop branch Projects which depend on Orekit, such as Rugged, need the latest snapshot archive to be installed in the local Maven cache. To avoid confusion and non-reproducible results that could come out from archives generated by different branches, only the develop branch installs its archive. --- Jenkinsfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index 9c5f59236..e80918bab 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,6 +24,9 @@ pipeline { if ( env.BRANCH_NAME ==~ /^release-[.0-9]+$/ ) { sh 'mvn verify assembly:single' } + else if ( env.BRANCH_NAME ==~ /^develop$/ ) { + sh 'mvn verify install site' + } else { sh 'mvn verify site' } -- GitLab From 4d575ac19d9519d5beb6df3f41a3921c7d68edb0 Mon Sep 17 00:00:00 2001 From: Sebastien Dinot Date: Mon, 19 Aug 2019 16:04:03 +0200 Subject: [PATCH 2/2] Install in local Maven repo the binary archive produced by develop branch Projects which depend on Orekit, such as Rugged, need the latest snapshot archive to be installed in the local Maven cache. To avoid confusion and non-reproducible results that could come out from archives generated by different branches, only the develop branch installs its archive. --- Jenkinsfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index 9c5f59236..2c815d4ba 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,6 +24,9 @@ pipeline { if ( env.BRANCH_NAME ==~ /^release-[.0-9]+$/ ) { sh 'mvn verify assembly:single' } + else if ( env.BRANCH_NAME ==~ /^develop$/ ) { + sh 'mvn install site' + } else { sh 'mvn verify site' } -- GitLab