Remove pull request trigger from CI workflow

The pull request trigger always duplicates 'on push' and so can be removed.
lsst · Feb 3, 2025 · c9f69d9 · c9f69d9
1 parent 4776612
commit c9f69d9
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,9 +3,6 @@
 name: "CI"
 on:
   push:
-  pull_request:
-    branches:
-      - main
   workflow_dispatch:
 
 jobs: