wip

IntersectMBO · Jun 20, 2024 · e10590b · e10590b
1 parent 3109004
commit e10590b
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git 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
@@ -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,15 +44,15 @@ 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 }}
           single-commit: true
 
       - 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