Merge branch 'main' into dependabot/github_actions/actions/setup-dotnet-5

Author: dsyme

.github/workflows/pull-requests.yml

@@ -12,7 +12,7 @@ jobs:
     runs-on: windows-latest
     timeout-minutes: 40
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v6
     - name: Setup .NET Core 8
       uses: actions/setup-dotnet@v5
       with:
@@ -38,7 +38,7 @@ jobs:
     runs-on: ubuntu-latest
     timeout-minutes: 40
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v6
     - name: Setup .NET Core 8
       uses: actions/setup-dotnet@v5
       with:

.github/workflows/push-master.yml

@@ -16,7 +16,7 @@ jobs:
     timeout-minutes: 60
 
     steps:
-    - uses: actions/checkout@v4
+    - uses: actions/checkout@v6
     - name: Setup .NET Core 8
       uses: actions/setup-dotnet@v5
       with:
@@ -35,7 +35,7 @@ jobs:
     - name: Build and test
       run: dotnet run --project build/build.fsproj -- -t All
     - name: Deploy documentation from master
-      uses: peaceiris/actions-gh-pages@v3
+      uses: peaceiris/actions-gh-pages@v4
       with:
         personal_token: ${{ secrets.GITHUB_TOKEN }}
         publish_dir: ./output