From ff9818b875bf5fd5dcd4637df09642db715447ba Mon Sep 17 00:00:00 2001
From: Edward Thomson <ethomson@github.com>
Date: Wed, 23 Oct 2019 15:15:45 +0100
Subject: [PATCH] GitHub Actions: only run on master branch

---
 .github/workflows/ci.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 55b4b4ba377..985007e1f52 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,12 @@
 name: CI
 
-on: [push, pull_request]
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - master
 
 jobs:
   linux: