Updated .NET SDK to 7.0.401

Author: xperiandri

.github/workflows/publish_ci.yml

@@ -27,6 +27,8 @@ jobs:
 
     - name: Install .NET Core
       uses: actions/setup-dotnet@v3
+      with:
+        dotnet-version: 7.0.401
 
     - name: Add the GitHub source
       run: dotnet nuget add source --username USERNAME --password ${{secrets.GITHUB_TOKEN}} --store-password-in-clear-text --name github "https://nuget.pkg.github.com/fsprojects/index.json"

.github/workflows/publish_release.yml

@@ -29,6 +29,8 @@ jobs:
 
     - name: Install .NET Core
       uses: actions/setup-dotnet@v3
+      with:
+        dotnet-version: 7.0.401
 
     - name: Install local tools
       run: dotnet tool restore

.github/workflows/pull_request.yml

@@ -17,7 +17,7 @@ jobs:
       fail-fast: false
       matrix:
         os: [ubuntu-latest, windows-latest, macOS-latest]
-        dotnet: [7.0.306]
+        dotnet: [7.0.401]
     runs-on: ${{ matrix.os }}
 
     steps:

build/Program.fs

@@ -25,7 +25,7 @@ execContext
 |> Fake.Core.Context.setExecutionContext
 
 module DotNetCli =
-    let setVersion (o: DotNet.Options) = { o with Version = Some "7.0.306" }
+    let setVersion (o: DotNet.Options) = { o with Version = Some "7.0.401" }
     let setRestoreOptions (o: DotNet.RestoreOptions)= o.WithCommon  setVersion
 
 let configurationString = Environment.environVarOrDefault "CONFIGURATION" "Release"