summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-06-18 12:00:15 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2022-06-18 12:00:15 +0100
commit93881d159e0d3fd754617f71476b28e23fd0ed14 (patch)
tree574a5a8c768f0184d7bc2a52b726f468021e4432 /.github/workflows
parent719a0f5b15f31b57f3f9addebc8b8584c82a4225 (diff)
downloadocaml-93881d159e0d3fd754617f71476b28e23fd0ed14.tar.gz
Limit GHA to pushes to maintenance branches
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/build.yml8
-rw-r--r--.github/workflows/hygiene.yml4
2 files changed, 11 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 09d0f3f595..a5759529f9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,6 +1,12 @@
name: Build
-on: [push, pull_request]
+on:
+ push:
+ branches:
+ - '4.**'
+ - '5.**'
+ - 'trunk'
+ pull_request:
jobs:
diff --git a/.github/workflows/hygiene.yml b/.github/workflows/hygiene.yml
index e76ba6b949..1efaafd7ac 100644
--- a/.github/workflows/hygiene.yml
+++ b/.github/workflows/hygiene.yml
@@ -1,6 +1,10 @@
name: Hygiene
on:
push:
+ branches:
+ - '4.**'
+ - '5.**'
+ - 'trunk'
pull_request:
types: [opened, synchronize, reopened, labeled, unlabeled]