From e66fad3e78b703ed9b02a14fb40a72e7a98a2eba Mon Sep 17 00:00:00 2001
From: Adam R Grey <git@adamrgrey.com>
Date: Wed, 29 Mar 2023 22:08:36 -0400
Subject: [PATCH] jenkins update attempt

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a2e1688..5ca8a6e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
     agent any
     tools {
-        dotnetsdk 'dotnet7'
+        dotnetsdk 'net7'
     }
     stages {
         stage('build franz') {