Skip to content

Commit

Permalink
Merge pull request #7269 from weirdan/disable-psl
Browse files Browse the repository at this point in the history
  • Loading branch information
weirdan committed Jan 3, 2022
2 parents c3700e1 + 1c15a6a commit ec023f4
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions .circleci/config.yml
Expand Up @@ -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
Expand Down

0 comments on commit ec023f4

Please sign in to comment.