diff --git a/.github/workflows/ebnf.yml b/.github/workflows/ebnf.yml index c30b374bd0..92ae6db600 100644 --- 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.6.7 + - uses: JamesIves/github-pages-deploy-action@v4.6.8 with: branch: gh-pages folder: gh-pages diff --git a/.github/workflows/loc-badge.yml b/.github/workflows/loc-badge.yml index a468970a13..22e5a4e384 100644 --- 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.6.7 + - uses: JamesIves/github-pages-deploy-action@v4.6.8 with: branch: gh-pages folder: target diff --git a/.github/workflows/zerocracy.yml b/.github/workflows/zerocracy.yml index 31d600664a..033a7f6f4b 100644 --- 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.6.7 + - uses: JamesIves/github-pages-deploy-action@v4.6.8 with: branch: gh-pages folder: pages