From b6e3515cf70b3d403e7e6aabdc4340dfc8c095fd Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 11 Dec 2023 13:13:37 +0000
Subject: [PATCH] Bump actions/setup-dotnet from 3 to 4

Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet) from 3 to 4.
- [Release notes](https://github.com/actions/setup-dotnet/releases)
- [Commits](https://github.com/actions/setup-dotnet/compare/v3...v4)

---
updated-dependencies:
- dependency-name: actions/setup-dotnet
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .github/workflows/docs.yml | 2 +-
 .github/workflows/pr.yml   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 363a95370..5e351ca0b 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -24,7 +24,7 @@ jobs:
           path: ${{ env.FSHARP_DIR }}
           ref: main
       - name: Setup .NET for FSharp
-        uses: actions/setup-dotnet@v3
+        uses: actions/setup-dotnet@v4
         with:
           global-json-file: ${{ env.FSHARP_DIR }}/global.json
       - name: Restore tools
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 06298b669..1f668568a 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -22,7 +22,7 @@ jobs:
           path: ${{ env.FSHARP_DIR }}
           ref: main
       - name: Setup .NET for FSharp
-        uses: actions/setup-dotnet@v3
+        uses: actions/setup-dotnet@v4
         with:
           global-json-file: ${{ env.FSHARP_DIR }}/global.json
       - name: Restore tools