From a7c6881218911b8071be3115118527dd76571d61 Mon Sep 17 00:00:00 2001
From: Daljit Singh <129752264+daljit46@users.noreply.github.com>
Date: Thu, 25 Jan 2024 13:53:08 +0000
Subject: [PATCH] REMOVE BEFORE MERGE: trigger on pull request

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

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 7d971cbf14..16b54332de 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -6,7 +6,9 @@ on:
   # Run this every Sunday at midnight
   schedule:
     - cron: "0 0 * * 0"
-
+  # IMPORTANT: remove this before merging
+  pull_request:
+    
 jobs:
   linux-clang-build:
     runs-on: ubuntu-latest