Skip to content

Comments

Fix: Remove scrutinizer configuration#9

Merged
localheinz merged 1 commit intoteapot-php:masterfrom
localheinz:fix/scrutinizer
Nov 2, 2020
Merged

Fix: Remove scrutinizer configuration#9
localheinz merged 1 commit intoteapot-php:masterfrom
localheinz:fix/scrutinizer

Conversation

@localheinz
Copy link
Contributor

This PR

  • removes the scrutinizer configuration

@localheinz localheinz added the bug label Nov 2, 2020
@localheinz localheinz self-assigned this Nov 2, 2020
@localheinz localheinz merged commit 2730191 into teapot-php:master Nov 2, 2020
@localheinz localheinz deleted the fix/scrutinizer branch November 2, 2020 18:15
@shrikeh
Copy link
Contributor

shrikeh commented Nov 2, 2020

I haven't checked on Scrutinizer in a while, no longer doing what we want?

@localheinz
Copy link
Contributor Author

@shrikeh

I have never used it - we could use phpstan/phpstan or vimeo/psalm instead!

@shrikeh
Copy link
Contributor

shrikeh commented Nov 2, 2020

Fine by me, I use psalm locally myself these days

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants