Merge pull request #986 from fsharp/dependabot/github_actions/actions…

…/checkout-4 Bump actions/checkout from 3 to 4
fsharp · Nov 15, 2023 · d0b78c1 · d0b78c1
2 parents 8a02c78 + 4fecaee
commit d0b78c1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -17,9 +17,9 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Checkout fsharp main
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           repository: dotnet/fsharp
           path: ${{ env.FSHARP_DIR }}

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -12,9 +12,9 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Checkout fsharp main
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           repository: dotnet/fsharp
           path: ${{ env.FSHARP_DIR }}