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

---
 Jenkinsfile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6b418c23..3103379d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -37,8 +37,11 @@ pipeline {
 		stage('Code Cleanliness') {
 			agent any
 			steps {
-				sh "php8 ./vendor/bin/phpstan analyse -c phpstan.neon"
-				recordIssues(tools: [phpStan(reportEncoding: 'UTF-8')])
+				sh "php8 ./vendor/bin/phpstan analyse -c phpstan.neon --no-progress --no-ansi "
+				recordIssues(
+					failOnError: false,
+					tools: [phpStan(reportEncoding: 'UTF-8')]
+				)
 			}
 		}
 		stage('Coverage') {