Separate Metatheory Site Build and Deploy Steps

.github/workflows/docusaurus-site.yml

@@ -28,7 +28,7 @@ jobs:
         run: nix develop --no-warn-dirty --accept-flake-config --command bash -c 'yarn && yarn build'
 
       - name: Deploy Site 
-        if: github.event_name == 'push'
+        if: ${{ github.event_name == 'push' }}
         uses: JamesIves/[email protected]
         with:
           folder: doc/docusaurus/build

.github/workflows/metatheory-site.yml

@@ -11,6 +11,7 @@ on:
   push: 
     branches: 
       - master 
+  pull_request:
 
   workflow_dispatch:
     inputs:
@@ -39,8 +40,8 @@ on:
         default: true
 
 jobs:
-  deploy:
-    name: Deploy
+  run:
+    name: Run
     runs-on: [self-hosted, plutus-shared]
     permissions:
       contents: write
@@ -59,14 +60,15 @@ jobs:
           cp -RL result/* _metatheory
 
       - name: Deploy Site
+        if: ${{ github.event_name == 'push' }}
         uses: JamesIves/[email protected]
         with:
           folder: _metatheory
           target-folder: metatheory/${{ inputs.destination || github.ref_name }}
           single-commit: true
 
       - name: Deploy Site (latest)
-        if: ${{ inputs.latest == true }}
+        if: ${{ github.event_name == 'push' && inputs.latest == true }}
         uses: JamesIves/[email protected]
         with:
           folder: _metatheory

scripts/check-broken-links.sh

@@ -1,7 +1,7 @@
 TARGETS=(
     .github/{ISSUE_TEMPLATE/*,*.md,*.yml} 
     **/{LICENSE,NOTICE,README.md,TRIAGE.md} 
-    CODE_OF_CONDUCT.md 
+    *.md 
     *.adoc
 )