deps: update JamesIves/github-pages-deploy-action action to v4.7.2 (#…

…1049) Co-authored-by: Paul Meyer <[email protected]>
edgelesssys · Dec 4, 2024 · fd50350 · fd50350
1 parent f50e93b
commit fd50350
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs_publish.yml b/.github/workflows/docs_publish.yml
@@ -45,7 +45,7 @@ jobs:
           nix build -L .#contrast-docs
       - name: Publish docs to GitHub Pages
         if: env.PREVIEW == 'false'
-        uses: JamesIves/github-pages-deploy-action@62fec3add6773ec5dbbf18d2ee4260911aa35cf4 # v4.6.9
+        uses: JamesIves/github-pages-deploy-action@15de0f09300eea763baee31dff6c6184995c5f6a # v4.7.2
         with:
           folder: ./result
           branch: gh-pages