Merge PR #18 from nblockchain/wip/dotnet8

Move from dotnet7 to dotnet8.

.github/workflows/CI.yml

@@ -9,7 +9,8 @@ jobs:
     name: Build and Run Tests
     runs-on: ubuntu-22.04
     container:
-      image: "ubuntu:22.04"
+      # TODO: move to 24.04 as soon as it is published in Apr2024
+      image: "ubuntu:23.10"
     steps:
       - uses: actions/checkout@v2
       - name: Install required dependencies
@@ -29,7 +30,7 @@ jobs:
           # The remote certificate is invalid because of errors in the certificate chain: UntrustedRoot
           apt install --yes --no-install-recommends ca-certificates
 
-          apt install --yes --no-install-recommends dotnet7
+          apt install --yes --no-install-recommends dotnet8
 
       - name: Restore nuget dependencies
         run: dotnet restore

Directory.Packages.props

@@ -13,5 +13,6 @@
     <PackageVersion Include="Giraffe.Razor" Version="1.3.0" />
     <PackageVersion Include="Microsoft.AspNetCore.WebSockets" Version="2.1.1" />
     <PackageVersion Include="TaskBuilder.fs" Version="2.1.0" />
+    <PackageVersion Include="FSharp.Core" Version="8.0.101" />
   </ItemGroup>
 </Project>

src/FX.Tests/FX.Tests.csproj

@@ -1,7 +1,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
 
   <PropertyGroup>
-    <TargetFramework>net7.0</TargetFramework>
+    <TargetFramework>net8.0</TargetFramework>
   </PropertyGroup>
 
   <ItemGroup>
@@ -10,6 +10,7 @@
     <PackageReference Include="Microsoft.NET.Test.Sdk" />
     <PackageReference Include="StackExchange.Redis" />
     <PackageReference Include="Newtonsoft.Json" />
+    <PackageReference Include="FSharp.Core" />
   </ItemGroup>
   <ItemGroup>
     <Compile Remove="Class1.cs" />