update(config) adding deployment on artifactory

Author: Ludovic Richoux

Jenkinsfile

@@ -28,6 +28,23 @@ pipeline {
             }
         }
 
+        stage ('Artifactory configuration') {
+            steps {
+                rtServer (
+                    id: "InriaArtifactoryServer",
+                    url: 'http://maven.irisa.fr/artifactory',
+                    credentialsId: 'credRepoInria'                                  // add credentials in Jenkins
+                )
+
+                rtMavenDeployer (
+                    id: "MAVEN_DEPLOYER",
+                    serverId: "InriaArtifactoryServer",
+                    releaseRepo: "malai-public-release",
+                    snapshotRepo: "malai-public-snapshot"
+                )
+            }
+        }
+
         stage ('Build') {
             steps {
                 rtMavenRun (
@@ -38,6 +55,14 @@ pipeline {
             }
         }
 
+        stage ('Publish build info') {
+            steps {
+                rtPublishBuildInfo (
+                    serverId: "InriaArtifactoryServer"
+                )
+            }
+        }
+
     }
     post{
         success {