From 21f1ae0502c7d5a10299c03e62f858249e75a419 Mon Sep 17 00:00:00 2001
From: "Timothy J. Warren" <tim@timshomepage.net>
Date: Fri, 12 Feb 2021 11:24:57 -0500
Subject: [PATCH] Try to report phpStan errors more directly

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 0abe3756..27a6c1ac 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -38,7 +38,7 @@ pipeline {
 			agent any
 			steps {
 				sh "php8 ./vendor/bin/phpstan analyse -c phpstan.neon -n --no-ansi --no-progress --error-format=checkstyle | awk '{\$1=\$1;print}' > build/logs/checkstyle-result.xml"
-				recordIssues(tools: [checkStyle(reportEncoding: 'UTF-8')])
+				recordIssues(tools: [phpStan(reportEncoding: 'UTF-8')])
 			}
 		}
 		stage('Coverage') {