Fixing pipeline syntax error

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2018-06-12 14:42:27 +02:00
parent 346e8fb719
commit e4a772965a
1 changed files with 3 additions and 0 deletions
@@ -40,6 +40,9 @@ pipeline {
    }
    post {
        always {
            script {
                echo "End of script"
            }
        }
        success {
            script {