Improve Deployments of Docusaurus Site & Papers (#7347)

Author: zeme-wana

.github/workflows/docusaurus-site.yml

@@ -1,7 +1,7 @@
 # This workflow builds and deploys the Docusaurus site.
 # 
 # On pull requests, this workflow builds the site and deploys a temporary preview
-# to gh-pages.
+# to gh-pages, but only if the relevant files have changed.
 #
 # On push to master or on workflow dispatch it deploys the site to: 
 # https://plutus.cardano.intersectmbo.org/docs
@@ -15,6 +15,9 @@ on:
       - master 
   workflow_dispatch:
   pull_request:
+    paths:
+      - 'doc/docusaurus/**'
+      - '.github/workflows/docusaurus-site.yml'
 
 jobs:
   run:
@@ -49,14 +52,15 @@ jobs:
           PR_NUMBER="${{ github.event.pull_request.number }}" 
           # These match the URL expected by rossjrw/[email protected]:
           export DOCUSAURUS_URL="https://plutus.cardano.intersectmbo.org"
-          export DOCUSAURUS_BASE_URL="/pr-preview/pr-${PR_NUMBER}"
+          export DOCUSAURUS_BASE_URL="/pr-preview/docs/pr-${PR_NUMBER}"
           nix develop --no-warn-dirty --accept-flake-config --command bash -c 'yarn && yarn build'
 
       - name: Deploy Preview Site 
-        if: github.event_name == 'pull_request' && github.event.action != 'closed'
+        if: github.event_name == 'pull_request'
         uses: rossjrw/[email protected]
         with:
           source-dir: doc/docusaurus/build
+          umbrella-dir: pr-preview/docs
 
 
 

.github/workflows/haddock-site.yml

@@ -74,8 +74,8 @@ jobs:
 
       - name: Delete Oldest Build
         run: |
-          # Delete the oldest haddock build if there are more than 11 builds.
-          if [[ $(ls -1A haddock | wc -l) -gt 11 ]]; then
+          # Delete the oldest haddock build if there are more than 10 builds.
+          if [[ $(ls -1A haddock | wc -l) -gt 10 ]]; then
             OLDEST_BUILD=$(ls -1A haddock | sort | head -n 1)
             rm -rf haddock/$OLDEST_BUILD
 

.github/workflows/metatheory-site.yml

@@ -57,6 +57,20 @@ jobs:
         with:
           ref: ${{ inputs.ref || github.ref_name }}
 
+      - name: Delete Oldest Build
+        run: |
+          # Delete the oldest metatheory build if there are more than 10 builds.
+          if [[ $(ls -1A metatheory | wc -l) -gt 10 ]]; then
+            OLDEST_BUILD=$(ls -1A metatheory | sort | head -n 1)
+            rm -rf metatheory/$OLDEST_BUILD
+
+            git config user.name "github-actions[bot]"
+            git config user.email "github-actions[bot]@users.noreply.github.com"
+            git rm -r --cached metatheory/$OLDEST_BUILD || true
+            git commit -am "Delete oldest metatheory build $OLDEST_BUILD"
+            git push origin gh-pages
+          fi  
+
       - name: Build Site
         run: | 
           nix build --accept-flake-config .#metatheory-site

.github/workflows/papers-and-specs.yml

@@ -1,5 +1,8 @@
 # This workflow builds and deploys various papers.
 # 
+# On pull requests, this workflow builds the papers and deploys a temporary preview
+# to gh-pages, but only if the relevant files have changed.
+#
 # This workflow runs on all push to master and can also be triggered manually.
 # It deploys the artifacts to: https://plutus.cardano.intersectmbo.org/resources
 
@@ -10,6 +13,10 @@ on:
   push:
     branches:
       - master
+  pull_request:
+    paths:
+      - 'doc'
+      - '!doc/docusaurus/**'
 
 jobs:
   deploy:
@@ -42,8 +49,16 @@ jobs:
           done 
 
       - name: Publish Papers
+        if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
         uses: JamesIves/[email protected]
         with:
           folder: _resources
           target-folder: resources
-          single-commit: true
+          single-commit: true
+
+      - name: Publish Preview Papers 
+        if: github.event_name == 'pull_request'
+        uses: rossjrw/[email protected]
+        with:
+          source-dir: _resources
+          umbrella-dir: pr-preview/resources