diff --git a/Jenkinsfile b/Jenkinsfile index 8006444..4f20e1d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -11,10 +11,10 @@ pipeline { echo "flag: ${params.userFlag}" } } + } post { always { echo "this is always printed" } } - } }