Preparación para la integración con el nuevo jenkins

Jenkinsfile

@@ -79,14 +79,17 @@ pipeline {
     }
   }
   post {
-      always {
-          echo 'Confirmación de ejecución!'
+    when {
+      expression { params.include_docker == 'no' }
+    }
+    always {
+        echo 'Confirmación de ejecución!'
 
-          emailext body: "${currentBuild.currentResult}: Job ${env.JOB_NAME} build ${env.BUILD_NUMBER}\n More info at: ${env.BUILD_URL}",
-              recipientProviders: [[$class: 'DevelopersRecipientProvider'], [$class: 'RequesterRecipientProvider']],
-              subject: "Jenkins Build ${currentBuild.currentResult}: Job ${env.JOB_NAME}",
-              to: '$DEFAULT_RECIPIENTS'
+        emailext body: "${currentBuild.currentResult}: Job ${env.JOB_NAME} build ${env.BUILD_NUMBER}\n More info at: ${env.BUILD_URL}",
+            recipientProviders: [[$class: 'DevelopersRecipientProvider'], [$class: 'RequesterRecipientProvider']],
+            subject: "Jenkins Build ${currentBuild.currentResult}: Job ${env.JOB_NAME}",
+            to: '$DEFAULT_RECIPIENTS'
 
-      }
+    }
   }
 }