From c35fcccb1bc117a2d12eb8cf80de7d4f47ecf391 Mon Sep 17 00:00:00 2001
From: Yuxin Deng <yuxinden@andrew.cmu.edu>
Date: Sun, 23 Nov 2025 19:44:49 -0500
Subject: [PATCH] Fix checkStyle to checkstyle (case sensitivity)

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index fc3e338e3..2bf2861b9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -133,7 +133,7 @@ pipeline {
                 always {
                     recordIssues(
                         enabledForFailure: true,
-                        tool: checkStyle(pattern: '**/target/checkstyle-result.xml')
+                        tool: checkstyle(pattern: '**/target/checkstyle-result.xml')
                     )
                 }
             }