From be76d663b57f9981b1dea92912b303f6e33fa26c Mon Sep 17 00:00:00 2001
From: "Scott E. Graves" <scott.e.graves@protonmail.com>
Date: Wed, 24 Jul 2024 18:27:10 -0500
Subject: [PATCH] update

---
 .jenkins_builds | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
   }