diff --git a/.github/workflows/test-lean-auto.yml b/.github/workflows/test-lean-auto.yml
index 0b118e539..063ebf1f2 100644
--- a/.github/workflows/test-lean-auto.yml
+++ b/.github/workflows/test-lean-auto.yml
@@ -17,7 +17,7 @@ jobs:
       - name: Setup dotnet
         uses: actions/setup-dotnet@v3
         with:
-          dotnet-version: '6.0.x'
+          dotnet-version: '8.0.x'
       - name: Setup Z3
         uses: cda-tum/setup-z3@v1
         with:
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index a6dd22691..f255d5611 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -24,9 +24,9 @@ jobs:
         lit_param: ["batch_mode=True", "batch_mode=False"]
     steps:
       - name: Setup dotnet
-        uses: actions/setup-dotnet@v3
+        uses: actions/setup-dotnet@v4
         with:
-          dotnet-version: '6.0.x'
+          dotnet-version: '8.0.x'
       - name: Checkout Boogie
         uses: actions/checkout@v3
         with:
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
index 357df272e..a031185b8 100644
--- a/Source/Directory.Build.props
+++ b/Source/Directory.Build.props
@@ -3,7 +3,7 @@
   <!-- Target framework and package configuration -->
   <PropertyGroup>
     <Version>3.4.4</Version>
-    <TargetFramework>net6.0</TargetFramework>
+    <TargetFramework>net8.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>
     <RepositoryUrl>https://github.com/boogie-org/boogie</RepositoryUrl>
diff --git a/Test/lean-auto/test.sh b/Test/lean-auto/test.sh
index bb47d1942..e402aaa90 100755
--- a/Test/lean-auto/test.sh
+++ b/Test/lean-auto/test.sh
@@ -5,5 +5,5 @@ set -e
 boogie_file=$1
 base=`basename $boogie_file .bpl`
 lean_file="$base.lean"
-dotnet ../../Source/BoogieDriver/bin/Debug/net6.0/BoogieDriver.dll /prune:1 /printLean:$lean_file $boogie_file
+dotnet ../../Source/BoogieDriver/bin/Debug/net8.0/BoogieDriver.dll /prune:1 /printLean:$lean_file $boogie_file
 lake env lean $lean_file
diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg
index 8ea897da8..7a8ea7c1e 100644
--- a/Test/lit.site.cfg
+++ b/Test/lit.site.cfg
@@ -78,7 +78,7 @@ repositoryRoot = up(up(os.path.abspath(__file__)))
 lit_config.note('Repository root is {}'.format(repositoryRoot))
 
 configuration = lit_config.params.get('configuration', 'Debug')
-framework = lit_config.params.get('framework', 'net6.0')
+framework = lit_config.params.get('framework', 'net8.0')
 
 boogieBinary = 'Source/BoogieDriver/bin/{}/{}/BoogieDriver.dll'.format(configuration, framework)
 runtime = 'dotnet'