Closed greg0ire closed 1 year ago
🤔 I'm wondering if I need to install the mongodb extension to fix PHPStan, cc @alcaeus @franmomu
EDIT: doing so locally doesn't fix the issue.
could be something related to the PHP version set in
which is different from the PHP version running the job?
doctrine/mongodb-odm
2.5 only supports PHP >= 7.4
Indeed. In other Doctrine projects, we've changed this setting to the highest supported PHP version. We should do the same here.
Ah well spotted @franmomu , that does fix the issue. I wouldn't have thought of checking this, thanks a lot!
:thinking: I'm wondering if I need to install the mongodb extension to fix PHPStan, cc @alcaeus @franmomu
EDIT: doing so locally doesn't fix the issue.