Fixes to metatheory-site.yml workflow

.github/workflows/plublish-metatheory-site.yml → .github/workflows/metatheory-site.yml

@@ -1,10 +1,10 @@
 # This workflow publishes the Agda metatheory site to:
-#   https://intersectmbo.github.io/plutus/docs/metatheory/$version
+#   https://intersectmbo.github.io/plutus/metatheory/$version
 # Where $version should be a release version tag.
 # Optionally the $version branch can also be deployed to:
-#   https://intersectmbo.github.io/plutus/docs/metatheory/latest  
+#   https://intersectmbo.github.io/plutus/metatheory/latest  
 
-name: ci
+name: "🔮 Metatheory Site"
 
 on:
   workflow_dispatch:
@@ -13,48 +13,48 @@ 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/docs/metatheory/$version
+            https://intersectmbo.github.io/plutus/metatheory/$version
         required: true
         type: string
 
       latest: 
         description: |
           If true, then the $version branch will also be deployed to:
-            https://intersectmbo.github.io/plutus/docs/metatheory/latest
+            https://intersectmbo.github.io/plutus/metatheory/latest
           You want to leave this to true unless you are deploying old versions.
         type: boolean
         required: true 
         default: true
 
 jobs:
-  deplopy-adga-metatheory-site:
-    name: "📚 Deplopy Adga Metatheory Site"
+  publish:
+    name: Publish
     runs-on: [self-hosted, plutus-shared]
     permissions:
       contents: write
     environment:
       name: github-pages
     steps:
       - name: Checkout
-        uses: actions/checkout@main
+        uses: actions/checkout@latest
         with:
           ref: ${{ inputs.version }}
 
       - name: Build Site
         run: nix build .#plutus-metatheory-site --out-link _site
 
       - name: Deploy Site
-        uses: JamesIves/github-pages-deploy-action@main
+        uses: JamesIves/github-pages-deploy-action@latest
         with:
           folder: _site
-          target-folder: docs/metatheory/${{ inputs.version }}
+          target-folder: metatheory/${{ inputs.version }}
           single-commit: true
 
       - name: Deploy Latest
         if: ${{ inputs.latest == true }}
-        uses: JamesIves/github-pages-deploy-action@main
+        uses: JamesIves/github-pages-deploy-action@latest
         with:
           folder: _site
-          target-folder: docs/metatheory/latest
+          target-folder: metatheory/latest
           single-commit: true