remove duplicate ci jobs

This change makes the CI trigger only on PR events, and not on push. This will prevent duplicate runs of CI jobs.
canonical · Dec 17, 2024 · dc8fbd5 · dc8fbd5
1 parent 811ca7f
commit dc8fbd5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -5,6 +5,8 @@ on:
     branches:
       - main
   push:
+    branches:
+      - main
   schedule:
     - cron: "20 7 * * 0"