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

Use Jetbrains linters for QA #2270

Closed
wants to merge 5 commits into from
Closed

Use Jetbrains linters for QA #2270

wants to merge 5 commits into from

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Dec 2, 2023

We can do this for all languages Jetbrains supports, for now this only gives what one already gets if/when using PhpStorm.

This will directly upload issues to the PR and upload findings in the Security tab. We can even fail if new issues are found (or accepted in the baseline).

I've checked with @nickygerritsen and the findings seem to be new compared to PHPStan and also most of the time seem to make sense.

Same as #2263 but the branch needs to be in the organisation for this to work as this needs a secret, we can decide to allow this on forks with some GA CI magic but that would make it possible to extract the secret.

@vmcj vmcj marked this pull request as draft February 1, 2024 22:10
@vmcj
Copy link
Member Author

vmcj commented Feb 1, 2024

I'll first try to get the PHPstan baseline smaller/empty.

@vmcj vmcj closed this Feb 1, 2024
@vmcj vmcj reopened this Feb 13, 2024
vmcj added 4 commits February 13, 2024 18:52
We can do this for all languages Jetbrains supports, for now this only
gives what one already gets if/when using PhpStorm.

This will directly upload issues to the PR and upload findings in the
Security tab. We can even fail if new issues are found (or accepted in
the baseline).
@vmcj vmcj closed this Apr 26, 2024
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.

1 participant