diff --git a/.github/workflows/docusaurus-site.yml b/.github/workflows/docusaurus-site.yml index a4e409ce32c..c4b254d38a1 100644 --- a/.github/workflows/docusaurus-site.yml +++ b/.github/workflows/docusaurus-site.yml @@ -1,14 +1,14 @@ # This workflow builds and publishes the Docusaurus site to: # https://intersectmbo.github.io/plutus/docs -name: ci +name: "🦕 Docusaurus Site" on: workflow_dispatch: jobs: - docusaurus-site: - name: "🦕 Docusaurus Site" + publish: + name: Publish runs-on: [self-hosted, plutus-shared] permissions: contents: write @@ -23,7 +23,7 @@ jobs: run: nix develop --command bash -c 'yarn && yarn build' - name: Deploy Site - uses: JamesIves/github-pages-deploy-action@main + uses: JamesIves/github-pages-deploy-action@v4.6.1 with: folder: doc/docusaurus/build target-folder: docs diff --git a/.github/workflows/haddock-site.yml b/.github/workflows/haddock-site.yml index 53331c9a1a9..115e8c54dc5 100644 --- a/.github/workflows/haddock-site.yml +++ b/.github/workflows/haddock-site.yml @@ -3,7 +3,7 @@ # And optionally to: # https://intersectmbo.github.io/plutus/haddock/latest -name: ci +name: "📜 Haddock Site" on: workflow_dispatch: @@ -12,22 +12,22 @@ on: description: | The release version tag. For example if $version == "1.29.0.0" then the current contents of the branch tagged "1.29.0.0" will be deployed to: - https://intersectmbo.github.io/plutus/haddock/$version + https://intersectmbo.github.io/plutus/haddock/$version required: true type: string latest: description: | If true, then the $version branch will also be deployed to: - https://intersectmbo.github.io/plutus/haddock/latest + https://intersectmbo.github.io/plutus/haddock/latest. You want to leave this to true unless you are deploying old versions. type: boolean required: true default: true jobs: - haddock-site: - name: "📜 Haddock Site" + publish: + name: Publish runs-on: [self-hosted, plutus-shared] permissions: contents: write @@ -44,7 +44,7 @@ jobs: nix develop --command ./scripts/combined-haddock.sh _haddock all - name: Deploy Site - uses: JamesIves/github-pages-deploy-action@main + uses: JamesIves/github-pages-deploy-action@v4.6.1 with: folder: _haddock target-folder: haddock/${{ inputs.version }} @@ -52,7 +52,7 @@ jobs: - name: Deploy Site (latest) if: ${{ inputs.latest == true }} - uses: JamesIves/github-pages-deploy-action@main + uses: JamesIves/github-pages-deploy-action@v4.6.1 with: folder: _haddock target-folder: haddock/latest