Skip to content

❓ Which PHP linter in GitHub workflow should we use? #6454

Closed
mnigh started this conversation in General
Discussion options

You must be logged in to vote

Replies: 8 comments 3 replies

Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
2 replies
@mnigh
Comment options

mnigh Aug 14, 2023
Collaborator Author

@petertgiles
Comment options

Comment options

You must be logged in to vote
1 reply
@mnigh
Comment options

mnigh Aug 14, 2023
Collaborator Author

Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
tooling Tooling, automation and CI to support development.
5 participants
Converted from issue

This discussion was converted from issue #4222 on April 28, 2023 19:02.