github actions: run when pushed to master or */ci + PRs

Avoid double-builds when using "local" branches for PRs. For both macos
and fuzz jobs.

Closes #5201

diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
index ca149d988f7addd6cf62b49c17c2a73eba0dd2b7..f46fa6c4e536fe49a9f0d31eb57b348f0db52700 100644 (file)
--- a/.github/workflows/fuzz.yml
+++ b/.github/workflows/fuzz.yml
@@ -1,6 +1,15 @@
 name: CI
 
-on: [push, pull_request]
+on:
+  # Trigger the workflow on push or pull requests, but only for the
+  # master branch
+  push:
+    branches:
+      - master
+      - '*/ci'
+  pull_request:
+    branches:
+      - master
 
 jobs:
   fuzzing:

diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
index 36eb46d635b0e7c5d226a02d90fbb7c7937da131..6c76ca78a80a51c455945e0280dbe78be7e4294a 100644 (file)
--- a/.github/workflows/macos.yml
+++ b/.github/workflows/macos.yml
@@ -1,6 +1,15 @@
 name: CI\r
 \r
-on: [push, pull_request]\r
+on:\r
+  # Trigger the workflow on push or pull requests, but only for the\r
+  # master branch\r
+  push:\r
+    branches:\r
+      - master\r
+      - '*/ci'\r
+  pull_request:\r
+    branches:\r
+      - master\r
 \r
 jobs:\r
   autotools:\r