ci: remove double push/pr ci runs

jfmengels · Nov 3, 2024 · 8b2dfa0 · 8b2dfa0
1 parent db56942
commit 8b2dfa0
Showing 1 changed file with 22 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -2,7 +2,28 @@
 
 name: CI
 
-on: [push, pull_request]
+on:
+  # Run on pushes to the default branch.
+  push:
+    branches:
+      - main
+
+  # Run on all PRs.
+  pull_request:
+    types:
+      - opened
+      - synchronize
+      - reopened
+
+  # Support merge queues.
+  merge_group:
+
+  # Run on a schedule.
+  schedule:
+    - cron: "0 7 * * 1" # Every Monday at 9 in the morning CET
+
+  # Allow running this workflow manually from the Actions tab.
+  workflow_dispatch:
 
 defaults:
   run: