diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b326c11365..ed9e538e46 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,7 +33,7 @@ jobs:
       - name: Install z3
         uses: ./.github/actions/install-z3
       - name: Install .NET
-        uses: actions/setup-dotnet@v5
+        uses: actions/setup-dotnet@v6
         with:
           dotnet-version: '8.0.x'
       - name: Restore lake cache