diff --git a/.jenkins_builds b/.jenkins_builds
index 12f06c4c..d891e9a2 100644
--- a/.jenkins_builds
+++ b/.jenkins_builds
@@ -5,7 +5,7 @@ pipeline {
 
   environment {
     DEVELOPER_PRIVATE_KEY = "/.ci/repertory/cert/developer.priv"
-    DEVELOPER_PUBLIC_KEY = "${WORKSPACE}/developer.pub"
+    DEVELOPER_PUBLIC_KEY = "/.ci/repertory/cert/developer.pub"
     PROJECT_TEST_DIR = "/.ci/repertory/test"
   }