我需要在 groovy 脚本中提供一个 Jenkins 参数，如果选择的环境是 prod 则将其标记为 madatory

Question

如果在这里选择产品，我需要强制提供 CR 编号

我搜索了如何使参数成为强制参数，但我找不到任何相关的东西。