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.

Sign up for GitHub

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

Jump to bottom

chore: Add Psalm #3683

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

chore: Add Psalm #3683

wants to merge 1 commit into from

Conversation

ChristophWurst
Copy link
Member

  • Install Psalm
  • Configure Psalm
  • Fix issues or add them to a baseline
  • CI integration
  • Dependency bumps

@ChristophWurst
chore: Add Psalm
b8542ca 
Signed-off-by: Christoph Wurst <[email protected]>
@ChristophWurst ChristophWurst added the 2. developing Work in progress label Oct 31, 2023
@ChristophWurst ChristophWurst self-assigned this Oct 31, 2023
@ChristophWurst ChristophWurst marked this pull request as draft October 31, 2023 14:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hamza221 hamza221 Awaiting requested review from hamza221 hamza221 will be requested when the pull request is marked ready for review hamza221 is a code owner

@GVodyanov GVodyanov Awaiting requested review from GVodyanov GVodyanov will be requested when the pull request is marked ready for review GVodyanov is a code owner

@SebastianKrupinski SebastianKrupinski Awaiting requested review from SebastianKrupinski SebastianKrupinski will be requested when the pull request is marked ready for review SebastianKrupinski is a code owner

At least 1 approving review is required to merge this pull request.

Assignees

@ChristophWurst ChristophWurst

Labels
2. developing Work in progress
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ChristophWurst