From c9973f651e3a63a6651152c448d1238afa7e88bd Mon Sep 17 00:00:00 2001
From: zeme-wana <15709674+zeme-wana@users.noreply.github.com>
Date: Thu, 20 Jun 2024 12:12:26 +0200
Subject: [PATCH] Fixes to `metatheory-site.yml` workflow (#6228)

---
 ...etatheory-site.yml => metatheory-site.yml} | 24 +++++++++----------
 1 file changed, 12 insertions(+), 12 deletions(-)
 rename .github/workflows/{plublish-metatheory-site.yml => metatheory-site.yml} (66%)

diff --git a/.github/workflows/plublish-metatheory-site.yml b/.github/workflows/metatheory-site.yml
similarity index 66%
rename from .github/workflows/plublish-metatheory-site.yml
rename to .github/workflows/metatheory-site.yml
index 58ab1201e6c..15c49ed4e8c 100644
--- a/.github/workflows/plublish-metatheory-site.yml
+++ b/.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,22 +13,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/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
@@ -36,7 +36,7 @@ jobs:
       name: github-pages
     steps:
       - name: Checkout
-        uses: actions/checkout@main
+        uses: actions/checkout@latest
         with:
           ref: ${{ inputs.version }}
 
@@ -44,17 +44,17 @@ jobs:
         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