ci: disable duplicate pull request runs

geoHeil · geoHeil · commit cf1a99014f2d · 2026-04-21T10:51:11.000+02:00
Signed-off-by: Georg Heiler &lt;georg.kf.heiler@gmail.com&gt;
diff --git a/.github/workflows/ci-docs.yml b/.github/workflows/ci-docs.yml
@@ -1,8 +1,6 @@
 name: "Run Docs CI"
 
 on:
-  pull_request:
-    types: [opened, reopened, synchronize]
   merge_group:
     types: [checks_requested]
   push:
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,8 +1,6 @@
 name: "Run CI"
 
 on:
-  pull_request:
-    types: [opened, reopened, synchronize, labeled, unlabeled]
   merge_group:
     types: [checks_requested]
   push:
