From b8490c731540ce3f0a6f08f8bcd24c06234edaa1 Mon Sep 17 00:00:00 2001
From: Sean Holung <sean.holung@gmail.com>
Date: Tue, 28 May 2024 18:05:34 -0400
Subject: [PATCH] run linter (#11914)

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 30e2d7fc13ec..52b569b04bc1 100644
--- a/Makefile
+++ b/Makefile
@@ -78,6 +78,7 @@ ci_push::
 ci_pull_request:
 	$(MAKE) banner
 	$(MAKE) ensure
+	$(MAKE) lint
 	./scripts/ci-pull-request.sh
 
 .PHONY: ci_pull_request_closed