From e913e3d9094d0c7317c7f5433f04dc7e4155d10e Mon Sep 17 00:00:00 2001 From: GeorgeC Date: Wed, 18 Sep 2024 18:29:11 -0400 Subject: [PATCH] Fix type for DEPLOY parameter in Jenkinsfile --- jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkinsfile b/jenkinsfile index 4ef4f452..260fc34b 100644 --- a/jenkinsfile +++ b/jenkinsfile @@ -4,7 +4,7 @@ pipeline { parameters { string(name: 'DOCKER_REGISTRY', description: 'Docker registry URL (e.g., ECR URL)', defaultValue: 'hms-dbmi') string(name: 'REPOSITORY_NAME', description: 'Docker repository name', defaultValue: 'psama') - boolean(name: 'DEPLOY', description: 'Deploy the image to the registry', defaultValue: true) + bool(name: 'DEPLOY', description: 'Deploy the image to the registry', defaultValue: true) } environment {