From 53b0572c1e840eabb6165fe90c682704f9fa30a0 Mon Sep 17 00:00:00 2001
From: Adam R Grey <git@adamrgrey.com>
Date: Wed, 29 Mar 2023 22:19:23 -0400
Subject: [PATCH] they do have names! but the names are all a secret?

https://github.com/jenkinsci/dotnet-sdk-plugin/blob/main/downloadables/tfm-list.json
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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