Prevent CI from running twice on PRs

NullVoxPopuli · NullVoxPopuli · commit 770bec036796 · 2023-12-27T10:34:59.000-05:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,11 @@
 name: CI
 
-on: [push, pull_request]
+on:
+  push:
+    branches:
+      - main
+      - master
+  pull_request: {}
 
 jobs:
   lint:
