From 2ddc0a2fc9b69b446f3b89f0d8c39d07ab010559 Mon Sep 17 00:00:00 2001
From: Chris Sewell <chrisj_sewell@hotmail.com>
Date: Mon, 13 Nov 2023 20:19:01 +0000
Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=AA=20Run=20CI=20also=20on=20pushes=20?=
 =?UTF-8?q?to=20master=20(#1073)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This is mainly because it is required by codecov, for comparing coverage of PRs
---
 .github/workflows/ci.yaml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 22b04af23..5b9b0797e 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -1,5 +1,8 @@
 name: CI
-on: [pull_request]
+on:
+  push:
+    branches: [master]
+  pull_request:
 jobs:
 
   lint: