chore: workflows now largely only run on pull requests or merge queues

2025-08-06 14:41:32 +00:00 · 2024-04-04 22:57:57 -07:00
parent 8b2befb3bf
commit 618d7a1584
6 changed files with 29 additions and 18 deletions
--- a/.github/workflows/kernel.yml
+++ b/.github/workflows/kernel.yml
@ -1,15 +1,14 @@
 name: kernel
 on:
-  push:
-    paths:
-    - "kernel/**"
-    - "hack/ci/**"
  pull_request:
+    branches:
+    - main
    paths:
    - "kernel/**"
    - "hack/ci/**"
  merge_group:
-
+    branches:
+    - main
 jobs:
  build:
    runs-on: ubuntu-latest