Run GitHub actions on pull requests instead of pushes

Gabriella439 · Gabriella439 · commit 13381b7a6b80 · 2022-09-28T17:31:09.000-07:00
See: #2455 (comment)
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -3,7 +3,7 @@ env:
 
 # NOTE: Please keep .mergify.yml in sync when adding or removing any jobs.
 name: main
-on: [push]
+on: [pull_request]
 jobs:
   build:
     strategy:
