diff --git a/.github/workflows/docusaurus-site.yml b/.github/workflows/docusaurus-site.yml index 437899be36f..eaca8024536 100644 --- a/.github/workflows/docusaurus-site.yml +++ b/.github/workflows/docusaurus-site.yml @@ -26,7 +26,7 @@ jobs: run: nix develop --no-warn-dirty --accept-flake-config --command bash -c 'yarn && yarn build' - name: Deploy Site - uses: JamesIves/github-pages-deploy-action@v4.6.1 + uses: JamesIves/github-pages-deploy-action@v4.6.3 with: folder: doc/docusaurus/build target-folder: docs diff --git a/.github/workflows/haddock-site.yml b/.github/workflows/haddock-site.yml index 003143aec61..0293a912779 100644 --- a/.github/workflows/haddock-site.yml +++ b/.github/workflows/haddock-site.yml @@ -62,7 +62,7 @@ jobs: nix develop --no-warn-dirty --accept-flake-config --command ./scripts/combined-haddock.sh _haddock all - name: Deploy Site - uses: JamesIves/github-pages-deploy-action@v4.6.1 + uses: JamesIves/github-pages-deploy-action@v4.6.3 with: folder: _haddock target-folder: haddock/${{ inputs.destination || github.ref_name }} @@ -70,7 +70,7 @@ jobs: - name: Deploy Site (latest) if: ${{ inputs.latest == true }} - uses: JamesIves/github-pages-deploy-action@v4.6.1 + uses: JamesIves/github-pages-deploy-action@v4.6.3 with: folder: _haddock target-folder: haddock/latest diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml index 90e5e19cd26..2508fbc8207 100644 --- a/.github/workflows/metatheory-site.yml +++ b/.github/workflows/metatheory-site.yml @@ -59,7 +59,7 @@ jobs: cp -RL result/* _site - name: Deploy Site - uses: JamesIves/github-pages-deploy-action@v4.6.1 + uses: JamesIves/github-pages-deploy-action@v4.6.3 with: folder: _site target-folder: metatheory/${{ inputs.destination || github.ref_name }} @@ -67,7 +67,7 @@ jobs: - name: Deploy Latest if: ${{ inputs.latest == true }} - uses: JamesIves/github-pages-deploy-action@v4.6.1 + uses: JamesIves/github-pages-deploy-action@v4.6.3 with: folder: _site target-folder: metatheory/latest diff --git a/.github/workflows/papers-and-specs.yml b/.github/workflows/papers-and-specs.yml index cec02fa6562..53b96b37b43 100644 --- a/.github/workflows/papers-and-specs.yml +++ b/.github/workflows/papers-and-specs.yml @@ -40,7 +40,7 @@ jobs: done - name: Publish Papers - uses: JamesIves/github-pages-deploy-action@v4.6.1 + uses: JamesIves/github-pages-deploy-action@v4.6.3 with: folder: _resources target-folder: resources