From f15eb495b6050a68e1287c7e4a277c30949750ba Mon Sep 17 00:00:00 2001
From: Lucas Bertrand <lucas.bertrand.22@gmail.com>
Date: Thu, 22 Feb 2024 21:55:57 +0100
Subject: [PATCH] ci: run build workflow on develop push for code coverage
 generation (#1793)

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f997dd9e02..c273f4633d 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -1,6 +1,9 @@
 name: PR Testing
 
 on:
+  push:
+    branches:
+      - develop
   pull_request:
     branches:
       - develop