From a0137dd5a0cb1add6e22945565d35273c1a3148e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Micka=C3=ABl=20Andrieu?= Date: Thu, 10 Jan 2019 01:31:23 +0100 Subject: [PATCH] Improved output of Psalm GA --- .github/main.workflow | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/main.workflow b/.github/main.workflow index 7b2afaf..b5a0044 100644 --- a/.github/main.workflow +++ b/.github/main.workflow @@ -23,5 +23,5 @@ action "Psalm" { needs="PHPStan" uses = "docker://mickaelandrieu/psalm-ga" secrets = ["GITHUB_TOKEN"] - args = "--find-dead-code --threads=8 --diff --diff-methods" + args = "--find-dead-code --diff --diff-methods" }