在 Jenkins pipeline options{} 块中使用环境变量

Question

我正在尝试在詹金斯的管道块中使用环境变量options {}，但似乎在那个阶段它们没有被推断。我是否遗漏了某些东西，或者是故意的并且没有办法让它发挥作用？

例子：

pipeline {
    agent {
        docker {
            image '...'
            label 'docker'
        }
    }
    environment {
        MAGIC_APP_NAME = "xxx"
        MAGIG_APP_ID = "yyy"
    }
    options {
        connection: gitLabConnection("GitLab-${env.MAGIC_APP_ID}")
    }
}