diff --git a/jenkins/Jenkinsfile.build-and-deploy b/jenkins/Jenkinsfile.build-and-deploy index 6a420ff2..cc54b7e4 100644 --- a/jenkins/Jenkinsfile.build-and-deploy +++ b/jenkins/Jenkinsfile.build-and-deploy @@ -40,7 +40,7 @@ pipeline { error('DATABASE 不能为空。') } if (!(database ==~ /^[a-z0-9]+(-[a-z0-9]+)*$/)) { - error("DATABASE 必须匹配 SpacetimeDB 数据库名规则 ^[a-z0-9]+(-[a-z0-9]+)*$,只能使用小写字母、数字,并用单个短横线分隔,当前值: ${database}") + error('DATABASE 必须匹配 SpacetimeDB 数据库名规则 ^[a-z0-9]+(-[a-z0-9]+)*$,只能使用小写字母、数字,并用单个短横线分隔,当前值: ' + database) } env.EFFECTIVE_DATABASE = database echo "SpacetimeDB 发布数据库: ${env.EFFECTIVE_DATABASE}"