From 8e42797116a63de3d78627e1159cdc1551cea2dc Mon Sep 17 00:00:00 2001
From: Adam R Grey <git@adamrgrey.com>
Date: Wed, 29 Mar 2023 22:20:06 -0400
Subject: [PATCH] maybe the secret name is a string

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

diff --git a/Jenkinsfile b/Jenkinsfile
index c8e3d29..688f10d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
     agent any
     tools {
-        dotnetsdk net7.0
+        dotnetsdk "net7.0"
     }
     stages {
         stage('build franz') {