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

….7.1
objectionary · Nov 28, 2024 · a2d395a · a2d395a
1 parent 70ad582
commit a2d395a
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml
@@ -78,7 +78,7 @@ jobs:
             cp "${p}.png" gh-pages/ebnf
             cp "${p}.svg" gh-pages/ebnf
           done
-      - uses: JamesIves/github-pages-deploy-action@v4.7.0
+      - uses: JamesIves/github-pages-deploy-action@v4.7.1
         with:
           branch: gh-pages
           folder: gh-pages

diff --git a/.github/workflows/loc-badge.yml b/.github/workflows/loc-badge.yml
@@ -38,7 +38,7 @@ jobs:
           debug: true
           directory: .
           badge: target/loc-badge.svg
-      - uses: JamesIves/github-pages-deploy-action@v4.7.0
+      - uses: JamesIves/github-pages-deploy-action@v4.7.1
         with:
           branch: gh-pages
           folder: target

diff --git a/.github/workflows/xs3p.yml b/.github/workflows/xs3p.yml
@@ -37,7 +37,7 @@ jobs:
             "eo-parser/src/main/xs3p/xs3p.xsl" \
             "eo-parser/src/main/resources/XMIR.xsd" \
             > "gh-pages/XMIR.html"
-      - uses: JamesIves/github-pages-deploy-action@v4.7.0
+      - uses: JamesIves/github-pages-deploy-action@v4.7.1
         with:
           branch: gh-pages
           folder: gh-pages

diff --git a/.github/workflows/zerocracy.yml b/.github/workflows/zerocracy.yml
@@ -47,7 +47,7 @@ jobs:
           logo: https://www.objectionary.com/cactus.svg
           options: |
             github_token=${{ secrets.GITHUB_TOKEN }}
-      - uses: JamesIves/github-pages-deploy-action@v4.7.0
+      - uses: JamesIves/github-pages-deploy-action@v4.7.1
         with:
           branch: gh-pages
           folder: pages