From e4a772965a07c7f31aae2912a24a3caa7b873b7e Mon Sep 17 00:00:00 2001
From: Raphael Defosseux <raphael.defosseux@eurecom.fr>
Date: Tue, 12 Jun 2018 14:42:27 +0200
Subject: [PATCH] Fixing pipeline syntax error
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
---
ci-scripts/Jenkinsfile-gitlab | 3 +++
1 file changed, 3 insertions(+)
diff --git a/ci-scripts/Jenkinsfile-gitlab b/ci-scripts/Jenkinsfile-gitlab
index a78710543dc..6f062194cd8 100644
--- a/ci-scripts/Jenkinsfile-gitlab
+++ b/ci-scripts/Jenkinsfile-gitlab
@@ -40,6 +40,9 @@ pipeline {
}
post {
always {
+ script {
+ echo "End of script"
+ }
}
success {
script {
--
GitLab