diff --git a/Jenkinsfile b/Jenkinsfile index 7856e91a8..414d3d485 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,3 +1,7 @@ +def COLOR_MAP = [ + 'SUCCESS': 'good', + 'FAILURE': 'danger', +] pipeline { agent any tools {