Wip

IntersectMBO · Jul 8, 2024 · e9f6d40 · e9f6d40
1 parent 4886e02
commit e9f6d40
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 44 deletions.
diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml
@@ -1,42 +1,12 @@
 # This workflow builds and publishes the metatheory site to:
-# https://plutus.cardano.intersectmbo.org/metatheory/$version
-# And optionally to:
-# https://plutus.cardano.intersectmbo.org/metatheory/latest
-# On push to master, this workflows publishes to:
-# https://plutus.cardano.intersectmbo.org/metatheory/master
+# https://plutus.cardano.intersectmbo.org/metatheory
 
 name: "🔮 Metatheory Site"
 
 on:
   push: 
     branches: 
       - master 
-
-  workflow_dispatch:
-    inputs:
-      ref:
-        description: |
-          The $ref to build off of, e.g. "1.29.0.0", "master", or any other valid git ref.
-          When making a release, this is usually the version tag, e.g. "1.29.0.0", and will be
-          equal to the $destination input below. When back-porting this could be a commit sha instead.
-        required: true
-        type: string
-
-      destination:
-        description: |
-          The $destination folder, e.g. when "1.29.0.0" the metatheory will be deploy to:
-          https://plutus.cardano.intersectmbo.org/metatheory/1.29.0.0
-        required: true
-        type: string
-
-      latest: 
-        description: |
-          If true, then the metatheory site will also be deploy to:
-          https://plutus.cardano.intersectmbo.org/metatheory/latest.
-          You want to leave this to true unless you are deploying old versions or back-porting.
-        type: boolean
-        required: true 
-        default: true
 
 jobs:
   deploy:
@@ -49,8 +19,6 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@main
-        with:
-          ref: ${{ inputs.ref || github.ref_name }}
 
       - name: Build Site
         run: | 
@@ -62,20 +30,12 @@ jobs:
         uses: JamesIves/github-pages-deploy-action@v4.6.3
         with:
           folder: _site
-          target-folder: metatheory/${{ inputs.destination || github.ref_name }}
-          single-commit: true
-
-      - name: Deploy Latest
-        if: ${{ inputs.latest == true }}
-        uses: JamesIves/github-pages-deploy-action@v4.6.3
-        with:
-          folder: _site
-          target-folder: metatheory/latest
+          target-folder: metatheory
           single-commit: true
 
       - name: Check Broken Links
         run: |
-          URL="https://plutus.cardano.intersectmbo.org/metatheory/${{ inputs.destination || github.ref_name }}"
+          URL="https://plutus.cardano.intersectmbo.org/metatheory"
           linkchecker --no-status --no-warnings --check-extern --output failures "${URL}"
           if [ $? -ne 0 ]; then 
             echo "${URL}" has broken links, see output above"

diff --git a/doc/docusaurus/docusaurus.config.ts b/doc/docusaurus/docusaurus.config.ts
@@ -8,7 +8,6 @@ const config: Config = {
   favicon: "img/favicon.ico",
 
   // Set the production url of your site here
-  // This will end be used inside meta and link tags in each page's <head>.
   url: "https://plutus.cardano.intersectmbo.org",
 
   // Set the /<baseUrl>/ pathname under which your site is served