wip

IntersectMBO · Sep 26, 2024 · aa46d9c · aa46d9c
1 parent 30b5a6d
commit aa46d9c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/metatheory-site.yml b/.github/workflows/metatheory-site.yml
@@ -8,11 +8,10 @@
 name: "🔮 Metatheory Site"
 
 on:
-  pull_request:
-
   push: 
     branches: 
       - master 
+  pull_request:
 
   workflow_dispatch:
     inputs:

diff --git a/scripts/check-broken-links.sh b/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
 )