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

Integrate Psalm #10

Merged
merged 6 commits into from Feb 8, 2023
Merged

Integrate Psalm #10

merged 6 commits into from Feb 8, 2023

Conversation

UlrichEckhardt
Copy link

@UlrichEckhardt UlrichEckhardt commented Feb 6, 2023

Changes:

  • Integrate Psalm as dev dependency using Composer.
  • Add configuration file.
  • Add a bunch of @psalm-suppress annotations for FFI stuff. Support for FFI in Psalm is mediocre.
  • Integrate into the GitHub pipeline.

Notes:

Ulrich Eckhardt added 5 commits February 6, 2023 17:35
This is a generated setup with a few changes:
- Reduce the error level from 7 to 3, which finds more issues.
- Configure `findUnusedCode="false"` to avoid a warning about it.
- Disable extensions "apcu" and "redis". This was recommended by Psalm itself
  in some warnings that were generated during the GitHub pipeline runs.
- Enable FFI extension explicitly. Psalm uses the ones from composer.json by
  default, but FFI is only marked as a suggestion.
Psalm is almost clueless about FFI and its structure. Support for it was only
added recently and is far from complete yet.
Copy link
Member

@fabiante fabiante left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. I'd like MrBaulm to also review this 😉

Copy link
Contributor

@MrBalum MrBalum left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I checked out you branch and i can reproduce the named issues and the other issues mentioned in you description. This PR should be merged

.github/workflows/main.yml Show resolved Hide resolved
@fabiante fabiante merged commit 6b84de6 into main Feb 8, 2023
@fabiante fabiante deleted the feature/psalm branch February 8, 2023 15:35
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.

None yet

3 participants