Try get CI PRs building again (ionide#1897)

TheAngryByrd · web-flow · commit 5ad81f3d7eb0 · 2023-07-22T21:27:53.000-04:00
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -2,8 +2,11 @@ name: Build Pull Requests
 
 on:
   push:
-   branches:
-     - '*'
+    branches:
+      - '*'
+  pull_request:
+    branches:
+      - '*'
 
 jobs:
   build:
