revert

2025-08-02 16:40:48 -05:00
parent d09bd35646
commit 3805a27cd5
1 changed files with 3 additions and 3 deletions
--- 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 {