.github: trim number of runners started on push + pr

troglobit · troglobit · commit e02950aae945 · 2025-07-09T11:25:53.000+02:00
Signed-off-by: Joachim Wiberg &lt;troglobit@gmail.com&gt;
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -8,8 +8,7 @@ on:
       - '**'
       - '!dev'
   pull_request:
-    branches:
-      - '**'
+    types: [opened, synchronize, reopened, labeled]
 
 jobs:
   build:
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -8,6 +8,7 @@ on:
       - 'mkdocs.yml'
       - '.github/workflows/docs.yml'
   pull_request:
+    types: [opened, synchronize, reopened, labeled]
     paths:
       - 'doc/**'
       - 'README.md'
