From 4f9c9e0dc30baa94cae2b1913e6eadd1de06098e Mon Sep 17 00:00:00 2001
From: Junhao Liao <junhao@junhao.ca>
Date: Wed, 11 Sep 2024 19:26:02 -0400
Subject: [PATCH] Update lint workflow to trigger on PR synchronize.

---
 .github/workflows/lint.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
index 73b7542e..e7621d4c 100644
--- a/.github/workflows/lint.yaml
+++ b/.github/workflows/lint.yaml
@@ -2,7 +2,7 @@ name: "lint"
 
 on:
   pull_request:
-    types: ["opened", "reopened"]
+    types: ["opened", "reopened", "synchronize"]
   push:
   schedule:
     # Run at midnight UTC every day with 15 minutes delay added to avoid high load periods