diff --git a/ci-scripts/Jenkinsfile-gitlab b/ci-scripts/Jenkinsfile-gitlab
index a78710543d..6f062194cd 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 {