chore(deps): update jamesives/github-pages-deploy-action action to v4…

….7.2
savonet · Feb 2, 2025 · b561b9b · b561b9b
1 parent 2d9cd19
commit b561b9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -218,7 +218,7 @@ jobs:
         env:
           GH_PAT: ${{ secrets.WEBSITE_TOKEN }}
       - name: Deploy odoc
-        uses: JamesIves/github-pages-deploy-action@4.1.4
+        uses: JamesIves/github-pages-deploy-action@15de0f09300eea763baee31dff6c6184995c5f6a # v4.7.2
         with:
           branch: gh-pages
           folder: ${{ github.run_number }}/odoc