From fd50350dae16e2c57aa5a14afc5a003e130f9185 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Wed, 4 Dec 2024 13:35:45 +0100
Subject: [PATCH] deps: update JamesIves/github-pages-deploy-action action to
 v4.7.2 (#1049)

Co-authored-by: Paul Meyer <49727155+katexochen@users.noreply.github.com>
---
 .github/workflows/docs_publish.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs_publish.yml b/.github/workflows/docs_publish.yml
index 47dfa3261..031c0f1a3 100644
--- 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