Fixes to metatheory-site.yml workflow (#6228)

.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