diff --git a/.github/workflows/push-master.yml b/.github/workflows/push-master.yml
index 028e6d7a7..88c9a33b3 100644
--- a/.github/workflows/push-master.yml
+++ b/.github/workflows/push-master.yml
@@ -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