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