From 0fadc099a93030fe89534f7a4a4499b429494a1c Mon Sep 17 00:00:00 2001
From: Fabian Joswig <fabian.joswig@ed.ac.uk>
Date: Thu, 6 Oct 2022 10:55:10 +0100
Subject: [PATCH] ci: codeql workflow only triggered on push to develop and
 master.

---
 .github/workflows/codeql.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index a991f4d9..33f1b1ee 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -2,6 +2,9 @@ name: "CodeQL"
 
 on:
   push:
+    branches:
+      - master
+      - develop
   pull_request:
 
 jobs: