From 1c15a6a36cd8d71fabb84f19cdc410873d04d000 Mon Sep 17 00:00:00 2001 From: Bruce Weirdan Date: Mon, 3 Jan 2022 09:25:06 +0200 Subject: [PATCH] Disable PSL as not yet compatible with Psalm 5 --- .circleci/config.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index edb010e442f..076772c419e 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -68,9 +68,10 @@ jobs: - run: name: Analyse PHPUnit command: bin/test-with-real-projects.sh phpunit - - run: - name: Analyse Psl - command: bin/test-with-real-projects.sh psl + # PSL requires its own plugin that is not yet compatible with Psalm 5 + # - run: + # name: Analyse Psl + # command: bin/test-with-real-projects.sh psl - run: name: Analyse Collections command: bin/test-with-real-projects.sh collections