Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 (#223)

Bumps [JamesIves/github-pages-deploy-action](https://github.com/jamesives/github-pages-deploy-action) from 4.7.1 to 4.7.2.
model-checking · Jan 3, 2025 · 57cfdf4 · 57cfdf4
1 parent 839dad6
commit 57cfdf4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
@@ -21,7 +21,7 @@ jobs:
         run: cd docs && mdbook build && touch book/.nojekyll
 
       - name: Publish documentation
-        uses: JamesIves/github-pages-deploy-action@v4.7.1
+        uses: JamesIves/github-pages-deploy-action@v4.7.2
         with:
           branch: gh-pages
           folder: docs/book/