Merge branch 'main' into readme-improvements

TimOrme · Apr 5, 2023 · 8291205 · 8291205
2 parents 85b2b42 + 8f798fd
commit 8291205
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -4,6 +4,8 @@ on:
     branches:
       - '**'        # matches every branch
       - '!main'    # excludes main
+    pull_request:
+      types: [opened, reopened, synchronize]
 
 jobs:
   checkpr: