diff --git a/.jenkins_macos b/.jenkins_macos index 757f0799..ed082de2 100644 --- a/.jenkins_macos +++ b/.jenkins_macos @@ -4,9 +4,9 @@ pipeline { agent none environment { - DEVELOPER_PRIVATE_KEY = "${HOME}/.ci/repertory/cert/developer.priv" - DEVELOPER_PUBLIC_KEY = "${HOME}/.ci/repertory/cert/developer.pub" - PROJECT_TEST_CONFIG_DIR = "${HOME}/.ci/repertory/test" + DEVELOPER_PRIVATE_KEY = "${env.HOME}/.ci/repertory/cert/developer.priv" + DEVELOPER_PUBLIC_KEY = "${env.HOME}/.ci/repertory/cert/developer.pub" + PROJECT_TEST_CONFIG_DIR = "${env.HOME}/.ci/repertory/test" } options {