Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

PHPLIB-1315: Fix psalm errors #1198

Merged
merged 3 commits into from
Nov 23, 2023
Merged

PHPLIB-1315: Fix psalm errors #1198

merged 3 commits into from
Nov 23, 2023

Conversation

alcaeus
Copy link
Member

@alcaeus alcaeus commented Nov 23, 2023

PHPLIB-1315

Some of the errors have been fixed. Additional errors in PsrLogAdapter have been added to the baseline pending the merge of new signatures in the psalm call map (see vimeo/psalm#10402).

@alcaeus alcaeus requested a review from GromNaN November 23, 2023 10:25
@alcaeus alcaeus merged commit 3fb7ebb into mongodb:v1.17 Nov 23, 2023
23 checks passed
@alcaeus alcaeus deleted the phplib-1315 branch November 23, 2023 12:28
GromNaN pushed a commit to GromNaN/mongo-php-library that referenced this pull request Nov 28, 2023
* v1.17:
  PHPLIB-1315: Fix psalm errors (mongodb#1198)
  Fix wrong data type in codec tutorial (mongodb#1194)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants