Log SpacetimeDB database names in Jenkins deploy

jenkins/Jenkinsfile.build-and-deploy

@@ -39,10 +39,11 @@ pipeline {
           if (!database) {
             error('DATABASE 不能为空。')
           }
-          if (!(database ==~ /^[0-9A-Za-z.-]+$/)) {
-            error("DATABASE 只能包含数字、字母、点和短横线，不能包含下划线，当前值: ${database}")
+          if (!(database ==~ /^[a-z0-9]+(-[a-z0-9]+)*$/)) {
+            error("DATABASE 必须匹配 SpacetimeDB 数据库名规则 ^[a-z0-9]+(-[a-z0-9]+)*$，只能使用小写字母、数字，并用单个短横线分隔，当前值: ${database}")
           }
           env.EFFECTIVE_DATABASE = database
+          echo "SpacetimeDB 发布数据库: ${env.EFFECTIVE_DATABASE}"
           def apiPort = params.API_PORT?.trim()
           if (!apiPort) {
             error('API_PORT 不能为空。')