1
0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00

Merge pull request #8771 from weirdan/reenable-platform-check

Fixes https://github.com/vimeo/psalm/issues/7560
This commit is contained in:
Bruce Weirdan 2022-11-26 04:09:57 -04:00 committed by GitHub
commit d1921b1abf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -68,7 +68,7 @@
},
"optimize-autoloader": true,
"sort-packages": true,
"platform-check": false
"platform-check": true
},
"extra": {
"branch-alias": {