Merge pull request #1251 from SpiNNakerManchester/dependabot/github_a…

…ctions/JamesIves/github-pages-deploy-action-4.7.2 Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.7.2
SpiNNakerManchester · Jan 3, 2025 · d7ab4de · d7ab4de
2 parents 4c49c31 + eec174c
commit d7ab4de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -62,7 +62,7 @@ jobs:
           cp -vaT $ROOT_DOC_DIR $DEPLOY_DIR
           cp -vaT $C_DOC_DIR $DEPLOY_DIR/c
       - name: Deploy to GitHub Pages
-        uses: JamesIves/github-pages-deploy-action@v4.6.8
+        uses: JamesIves/github-pages-deploy-action@v4.7.2
         with:
           branch: gh-pages
           folder: ${{ env.DEPLOY_DIR }}