From 91d3de3cf537797fdcf6d8f03a2bfae6e9bc5908 Mon Sep 17 00:00:00 2001
From: Jerome Kelleher <jk@well.ox.ac.uk>
Date: Wed, 15 Apr 2026 14:35:20 +0100
Subject: [PATCH] Add merge_group trigger to lint workflow

---
 .github/workflows/lint.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index f4d711574..6c2a12f35 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -2,6 +2,7 @@ name: Lint
 
 on:
   pull_request:
+  merge_group:
 
 jobs:
   Lint: