Don't trigger on push events

When a pull request is merged, it causes a push event on the main branch, which ends up causing this workflow to be executed twice when the merge occurs.
quantumlib · Feb 9, 2025 · 869df1d · 869df1d
1 parent aaf2c3a
commit 869df1d
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,10 +20,6 @@ on:
     types:
       - checks_requested
 
-  push:
-    branches:
-      - master
-
   # Allow manual invocation.
   workflow_dispatch:
     inputs: